🍼 for tidy

This commit is contained in:
Oli Scherer 2021-03-12 12:51:53 +00:00
parent 4a6dc8e203
commit 6109d73112
3 changed files with 6 additions and 3 deletions

View File

@ -49,6 +49,7 @@ impl<T: MyFrom<Phantom2<DummyT<U>>>, U> MyIndex<Phantom1<T>> for Scope<U> {
#[rustc_error]
fn main() {
let _pos: Phantom1<DummyT<()>> = Scope::new().my_index(); //[min_tait,full_tait]~ ERROR not permitted here
//[in_bindings]~^ ERROR type annotations needed
let _pos: Phantom1<DummyT<()>> = Scope::new().my_index();
//[min_tait,full_tait]~^ ERROR not permitted here
//[in_bindings]~^^ ERROR type annotations needed
}

View File

@ -26,7 +26,8 @@ trait Associated {
impl<'a, T: Associated<A = &'a ()>> AssociatedImpl for S<T> {
type ImplTrait = impl core::fmt::Debug;
fn f() -> Self::ImplTrait { //~ ERROR unexpected concrete region in borrowck: ReEarlyBound(0, 'a)
fn f() -> Self::ImplTrait {
//~^ ERROR unexpected concrete region in borrowck: ReEarlyBound(0, 'a)
()
}
}

View File

@ -2,6 +2,7 @@ error: internal compiler error: unexpected concrete region in borrowck: ReEarlyB
--> $DIR/associated-type-lifetime-ice.rs:29:5
|
LL | / fn f() -> Self::ImplTrait {
LL | |
LL | | ()
LL | | }
| |_____^