Module rustc_middle::ty::elaborate_impl