rustc_infer::traits::structural_impls