@@ -664,14 +664,6 @@ impl<I: Interner> AliasTerm<I> {
664664 interner. parent ( self . def_id )
665665 }
666666
667- /// Extracts the underlying trait reference and own args from this projection.
668- /// For example, if this is a projection of `<T as StreamingIterator>::Item<'a>`,
669- /// then this function would return a `T: StreamingIterator` trait reference and
670- /// `['a]` as the own args.
671- pub fn trait_ref_and_own_args ( self , interner : I ) -> ( TraitRef < I > , I :: GenericArgsSlice ) {
672- interner. trait_ref_and_own_args_for_alias ( self . def_id , self . args )
673- }
674-
675667 /// Extracts the underlying trait reference from this projection.
676668 /// For example, if this is a projection of `<T as Iterator>::Item`,
677669 /// then this function would return a `T: Iterator` trait reference.
@@ -687,7 +679,15 @@ impl<I: Interner> AliasTerm<I> {
687679 /// For example, if this is a projection of `<T as StreamingIterator>::Item<'a>`,
688680 /// then this function would return the slice `['a]` as the own args.
689681 pub fn own_args ( self , interner : I ) -> I :: GenericArgsSlice {
690- self . trait_ref_and_own_args ( interner) . 1
682+ interner. own_args_for_alias ( self . def_id , self . args )
683+ }
684+
685+ /// Extracts the underlying trait reference and own args from this projection.
686+ /// For example, if this is a projection of `<T as StreamingIterator>::Item<'a>`,
687+ /// then this function would return a `T: StreamingIterator` trait reference and
688+ /// `['a]` as the own args.
689+ pub fn trait_ref_and_own_args ( self , interner : I ) -> ( TraitRef < I > , I :: GenericArgsSlice ) {
690+ interner. trait_ref_and_own_args_for_alias ( self . def_id , self . args )
691691 }
692692}
693693
0 commit comments