@@ -187,7 +187,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
187187 }
188188
189189 #[ instrument( level = "debug" , skip( self ) ) ]
190- pub fn write_method_call_and_enforce_effects (
190+ pub ( crate ) fn write_method_call_and_enforce_effects (
191191 & self ,
192192 hir_id : HirId ,
193193 span : Span ,
@@ -214,7 +214,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
214214 /// occurred**, so that annotations like `Vec<_>` are preserved
215215 /// properly.
216216 #[ instrument( skip( self ) , level = "debug" ) ]
217- pub fn write_user_type_annotation_from_args (
217+ pub ( crate ) fn write_user_type_annotation_from_args (
218218 & self ,
219219 hir_id : HirId ,
220220 def_id : DefId ,
@@ -235,7 +235,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
235235 }
236236
237237 #[ instrument( skip( self ) , level = "debug" ) ]
238- pub fn write_user_type_annotation (
238+ pub ( crate ) fn write_user_type_annotation (
239239 & self ,
240240 hir_id : HirId ,
241241 canonical_user_type_annotation : CanonicalUserType < ' tcx > ,
@@ -254,7 +254,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
254254 }
255255
256256 #[ instrument( skip( self , expr) , level = "debug" ) ]
257- pub fn apply_adjustments ( & self , expr : & hir:: Expr < ' _ > , adj : Vec < Adjustment < ' tcx > > ) {
257+ pub ( crate ) fn apply_adjustments ( & self , expr : & hir:: Expr < ' _ > , adj : Vec < Adjustment < ' tcx > > ) {
258258 debug ! ( "expr = {:#?}" , expr) ;
259259
260260 if adj. is_empty ( ) {
@@ -448,7 +448,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
448448 }
449449
450450 #[ instrument( level = "debug" , skip_all) ]
451- pub fn lower_ty_saving_user_provided_ty ( & self , hir_ty : & hir:: Ty < ' tcx > ) -> Ty < ' tcx > {
451+ pub ( crate ) fn lower_ty_saving_user_provided_ty ( & self , hir_ty : & hir:: Ty < ' tcx > ) -> Ty < ' tcx > {
452452 let ty = self . lower_ty ( hir_ty) ;
453453 debug ! ( ?ty) ;
454454
@@ -736,7 +736,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
736736 /// Resolves an associated value path into a base type and associated constant, or method
737737 /// resolution. The newly resolved definition is written into `type_dependent_defs`.
738738 #[ instrument( level = "trace" , skip( self ) , ret) ]
739- pub fn resolve_ty_and_res_fully_qualified_call (
739+ pub ( crate ) fn resolve_ty_and_res_fully_qualified_call (
740740 & self ,
741741 qpath : & ' tcx QPath < ' tcx > ,
742742 hir_id : HirId ,
@@ -995,7 +995,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
995995 // Instantiates the given path, which must refer to an item with the given
996996 // number of type parameters and type.
997997 #[ instrument( skip( self , span) , level = "debug" ) ]
998- pub fn instantiate_value_path (
998+ pub ( crate ) fn instantiate_value_path (
999999 & self ,
10001000 segments : & ' tcx [ hir:: PathSegment < ' tcx > ] ,
10011001 self_ty : Option < LoweredTy < ' tcx > > ,
@@ -1446,7 +1446,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
14461446 /// variable. This is different from `structurally_resolve_type` which errors
14471447 /// in this case.
14481448 #[ instrument( level = "debug" , skip( self , sp) , ret) ]
1449- pub fn try_structurally_resolve_type ( & self , sp : Span , ty : Ty < ' tcx > ) -> Ty < ' tcx > {
1449+ pub ( crate ) fn try_structurally_resolve_type ( & self , sp : Span , ty : Ty < ' tcx > ) -> Ty < ' tcx > {
14501450 let ty = self . resolve_vars_with_obligations ( ty) ;
14511451
14521452 if self . next_trait_solver ( )
@@ -1471,7 +1471,11 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
14711471 }
14721472
14731473 #[ instrument( level = "debug" , skip( self , sp) , ret) ]
1474- pub fn try_structurally_resolve_const ( & self , sp : Span , ct : ty:: Const < ' tcx > ) -> ty:: Const < ' tcx > {
1474+ pub ( crate ) fn try_structurally_resolve_const (
1475+ & self ,
1476+ sp : Span ,
1477+ ct : ty:: Const < ' tcx > ,
1478+ ) -> ty:: Const < ' tcx > {
14751479 // FIXME(min_const_generic_exprs): We could process obligations here if `ct` is a var.
14761480
14771481 if self . next_trait_solver ( )
0 commit comments