Nit: Can you rename this to `trans_resolve_method` -- late resolution already has a meaning in this code (or at least early does, and it has nothing to do with trans / typeck)