Fixed available generic args for default impls, and lowering diagnostics of trait fn bodies.

Fixed available generic args for default impls, and lowering diagnostics of trait fn bodies. #39792