Fix compile error

This commit is contained in:
Fabian Drinck 2018-06-10 16:27:22 +02:00
parent a06870eb78
commit 391ebc1339

View File

@ -183,7 +183,7 @@ fn test_env_with_pool<F>(
});
}
const D1: ty::DebruijnIndex = ty::DebruijnIndex::INNERMOST;
const D1: ty::DebruijnIndex = ty::INNERMOST;
const D2: ty::DebruijnIndex = D1.shifted_in(1);
impl<'a, 'gcx, 'tcx> Env<'a, 'gcx, 'tcx> {