@@ -925,21 +925,30 @@ impl TyCoercionStability {
925925 continue ;
926926 } ,
927927 ty:: Param ( _) if for_return => Self :: Deref ,
928- ty:: Alias ( ty:: AliasTy {
929- kind : ty:: Free { .. } | ty:: Inherent { .. } ,
930- ..
931- } ) => unreachable ! ( "should have been normalized away above" ) ,
932- ty:: Alias ( ty:: AliasTy {
933- kind : ty:: Projection { .. } ,
934- ..
935- } ) if !for_return && ty. has_non_region_param ( ) => Self :: Reborrow ,
928+ ty:: Alias (
929+ _,
930+ ty:: AliasTy {
931+ kind : ty:: Free { .. } | ty:: Inherent { .. } ,
932+ ..
933+ } ,
934+ ) => unreachable ! ( "should have been normalized away above" ) ,
935+ ty:: Alias (
936+ _,
937+ ty:: AliasTy {
938+ kind : ty:: Projection { .. } ,
939+ ..
940+ } ,
941+ ) if !for_return && ty. has_non_region_param ( ) => Self :: Reborrow ,
936942 ty:: Infer ( _)
937943 | ty:: Error ( _)
938944 | ty:: Bound ( ..)
939- | ty:: Alias ( ty:: AliasTy {
940- kind : ty:: Opaque { .. } ,
941- ..
942- } )
945+ | ty:: Alias (
946+ _,
947+ ty:: AliasTy {
948+ kind : ty:: Opaque { .. } ,
949+ ..
950+ } ,
951+ )
943952 | ty:: Placeholder ( _)
944953 | ty:: Dynamic ( ..)
945954 | ty:: Param ( _) => Self :: Reborrow ,
@@ -970,10 +979,13 @@ impl TyCoercionStability {
970979 | ty:: CoroutineClosure ( ..)
971980 | ty:: Never
972981 | ty:: Tuple ( _)
973- | ty:: Alias ( ty:: AliasTy {
974- kind : ty:: Projection { .. } ,
975- ..
976- } )
982+ | ty:: Alias (
983+ _,
984+ ty:: AliasTy {
985+ kind : ty:: Projection { .. } ,
986+ ..
987+ } ,
988+ )
977989 | ty:: UnsafeBinder ( _) => Self :: Deref ,
978990 } ;
979991 }
0 commit comments