@@ -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 ,
192192hir_id : HirId ,
193193span : 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 ,
219219hir_id : HirId ,
220220def_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 ,
240240hir_id : HirId ,
241241canonical_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 > > ) {
258258debug ! ( "expr = {:#?}" , expr) ;
259259
260260if 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 > {
452452let ty = self . lower_ty ( hir_ty) ;
453453debug ! ( ?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 ,
741741qpath : & ' tcx QPath < ' tcx > ,
742742hir_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 ,
10001000segments : & ' tcx [ hir:: PathSegment < ' tcx > ] ,
10011001self_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 > {
14501450let ty = self . resolve_vars_with_obligations ( ty) ;
14511451
14521452if 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
14771481if self . next_trait_solver ( )
0 commit comments