@@ -187,7 +187,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
187
187
}
188
188
189
189
#[ instrument( level = "debug" , skip( self ) ) ]
190
- pub fn write_method_call_and_enforce_effects (
190
+ pub ( crate ) fn write_method_call_and_enforce_effects (
191
191
& self ,
192
192
hir_id : HirId ,
193
193
span : Span ,
@@ -214,7 +214,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
214
214
/// occurred**, so that annotations like `Vec<_>` are preserved
215
215
/// properly.
216
216
#[ instrument( skip( self ) , level = "debug" ) ]
217
- pub fn write_user_type_annotation_from_args (
217
+ pub ( crate ) fn write_user_type_annotation_from_args (
218
218
& self ,
219
219
hir_id : HirId ,
220
220
def_id : DefId ,
@@ -235,7 +235,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
235
235
}
236
236
237
237
#[ instrument( skip( self ) , level = "debug" ) ]
238
- pub fn write_user_type_annotation (
238
+ pub ( crate ) fn write_user_type_annotation (
239
239
& self ,
240
240
hir_id : HirId ,
241
241
canonical_user_type_annotation : CanonicalUserType < ' tcx > ,
@@ -254,7 +254,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
254
254
}
255
255
256
256
#[ 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 > > ) {
258
258
debug ! ( "expr = {:#?}" , expr) ;
259
259
260
260
if adj. is_empty ( ) {
@@ -448,7 +448,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
448
448
}
449
449
450
450
#[ 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 > {
452
452
let ty = self . lower_ty ( hir_ty) ;
453
453
debug ! ( ?ty) ;
454
454
@@ -736,7 +736,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
736
736
/// Resolves an associated value path into a base type and associated constant, or method
737
737
/// resolution. The newly resolved definition is written into `type_dependent_defs`.
738
738
#[ 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 (
740
740
& self ,
741
741
qpath : & ' tcx QPath < ' tcx > ,
742
742
hir_id : HirId ,
@@ -995,7 +995,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
995
995
// Instantiates the given path, which must refer to an item with the given
996
996
// number of type parameters and type.
997
997
#[ instrument( skip( self , span) , level = "debug" ) ]
998
- pub fn instantiate_value_path (
998
+ pub ( crate ) fn instantiate_value_path (
999
999
& self ,
1000
1000
segments : & ' tcx [ hir:: PathSegment < ' tcx > ] ,
1001
1001
self_ty : Option < LoweredTy < ' tcx > > ,
@@ -1446,7 +1446,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
1446
1446
/// variable. This is different from `structurally_resolve_type` which errors
1447
1447
/// in this case.
1448
1448
#[ 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 > {
1450
1450
let ty = self . resolve_vars_with_obligations ( ty) ;
1451
1451
1452
1452
if self . next_trait_solver ( )
@@ -1471,7 +1471,11 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
1471
1471
}
1472
1472
1473
1473
#[ 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 > {
1475
1479
// FIXME(min_const_generic_exprs): We could process obligations here if `ct` is a var.
1476
1480
1477
1481
if self . next_trait_solver ( )
0 commit comments