Commits

Doug Gregor committed 2b7d0f9379e
[Type checker] Extract default argument information from the callee declaration. Rather than relying on the embedding of default argument information into tuple types (which is gross), make sure that the various clients (type checker, type checker diagnostics, constraint application) can dig out the callee declaration and retrieve that information from there.