Idea: Borrowck Transparent Function Calls

Agreed that an empty list (or an incorrect list) should be sufficient to get a correction from the compiler.