@@ -34,7 +34,7 @@ use std::iter;
3434/// - `impl_m_span`: span to use for reporting errors
3535/// - `trait_m`: the method in the trait
3636/// - `impl_trait_ref`: the TraitRef corresponding to the trait implementation
37- pub ( crate ) fn compare_impl_method < ' tcx > (
37+ pub ( super ) fn compare_impl_method < ' tcx > (
3838 tcx : TyCtxt < ' tcx > ,
3939 impl_m : & ty:: AssocItem ,
4040 trait_m : & ty:: AssocItem ,
@@ -442,7 +442,7 @@ fn compare_asyncness<'tcx>(
442442}
443443
444444#[ instrument( skip( tcx) , level = "debug" , ret) ]
445- pub fn collect_trait_impl_trait_tys < ' tcx > (
445+ pub ( super ) fn collect_trait_impl_trait_tys < ' tcx > (
446446 tcx : TyCtxt < ' tcx > ,
447447 def_id : DefId ,
448448) -> Result < & ' tcx FxHashMap < DefId , Ty < ' tcx > > , ErrorGuaranteed > {
@@ -1517,7 +1517,7 @@ fn compare_generic_param_kinds<'tcx>(
15171517}
15181518
15191519/// Use `tcx.compare_impl_const` instead
1520- pub ( crate ) fn compare_impl_const_raw (
1520+ pub ( super ) fn compare_impl_const_raw (
15211521 tcx : TyCtxt < ' _ > ,
15221522 ( impl_const_item_def, trait_const_item_def) : ( LocalDefId , DefId ) ,
15231523) -> Result < ( ) , ErrorGuaranteed > {
@@ -1623,7 +1623,7 @@ pub(crate) fn compare_impl_const_raw(
16231623 Ok ( ( ) )
16241624}
16251625
1626- pub ( crate ) fn compare_impl_ty < ' tcx > (
1626+ pub ( super ) fn compare_impl_ty < ' tcx > (
16271627 tcx : TyCtxt < ' tcx > ,
16281628 impl_ty : & ty:: AssocItem ,
16291629 impl_ty_span : Span ,
@@ -1749,7 +1749,7 @@ fn compare_type_predicate_entailment<'tcx>(
17491749/// from the impl could be overridden). We also can't normalize generic
17501750/// associated types (yet) because they contain bound parameters.
17511751#[ instrument( level = "debug" , skip( tcx) ) ]
1752- pub fn check_type_bounds < ' tcx > (
1752+ pub ( super ) fn check_type_bounds < ' tcx > (
17531753 tcx : TyCtxt < ' tcx > ,
17541754 trait_ty : & ty:: AssocItem ,
17551755 impl_ty : & ty:: AssocItem ,
0 commit comments