rename Binder::new_not_binding
to Binder::dummy
per pnkfelix's suggestion
This commit is contained in:
parent
47037705dc
commit
1db58d7fa5
@ -654,7 +654,7 @@ impl<T> Binder<T> {
|
||||
/// contain any bound regions that would be bound by the
|
||||
/// binder. This is commonly used to 'inject' a value T into a
|
||||
/// different binding level.
|
||||
pub fn new_not_binding<'tcx>(value: T) -> Binder<T>
|
||||
pub fn dummy<'tcx>(value: T) -> Binder<T>
|
||||
where T: TypeFoldable<'tcx>
|
||||
{
|
||||
assert!(!value.has_escaping_regions());
|
||||
|
@ -545,7 +545,7 @@ impl<'cx, 'gcx, 'tcx> UniversalRegionsBuilder<'cx, 'gcx, 'tcx> {
|
||||
assert_eq!(self.mir_def_id, def_id);
|
||||
let output = substs.generator_return_ty(def_id, tcx);
|
||||
let inputs_and_output = self.infcx.tcx.intern_type_list(&[defining_ty, output]);
|
||||
ty::Binder::new_not_binding(inputs_and_output)
|
||||
ty::Binder::dummy(inputs_and_output)
|
||||
}
|
||||
|
||||
ty::TyFnDef(def_id, _) => {
|
||||
|
Loading…
x
Reference in New Issue
Block a user