parent
3e971ebbdb
commit
8128ae3d39
1 changed files with 1 additions and 2 deletions
|
|
@ -455,8 +455,7 @@ fn sub_free_bound_false_infer() {
|
|||
//! does NOT hold for any instantiation of `_#1`.
|
||||
|
||||
test_env(EMPTY_SOURCE_STR, errors(&[]), |env| {
|
||||
let t_infer1 = env.infcx.next_ty_var(ty::UniverseIndex::ROOT,
|
||||
TypeVariableOrigin::MiscVariable(DUMMY_SP));
|
||||
let t_infer1 = env.infcx.next_ty_var(TypeVariableOrigin::MiscVariable(DUMMY_SP));
|
||||
let t_rptr_bound1 = env.t_rptr_late_bound(1);
|
||||
env.check_not_sub(env.t_fn(&[t_infer1], env.tcx().types.isize),
|
||||
env.t_fn(&[t_rptr_bound1], env.tcx().types.isize));
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue