Skip to content

Commit

Permalink
Add 83190
Browse files Browse the repository at this point in the history
  • Loading branch information
fanninpm committed Mar 19, 2021
1 parent bac4211 commit fdb04d3
Showing 1 changed file with 28 additions and 0 deletions.
28 changes: 28 additions & 0 deletions ices/83190.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
#!/bin/bash

rustc --crate-type=rlib - <<'EOF'
#![feature(min_type_alias_impl_trait)]
#![no_std]
pub trait AssociatedImpl {
type ImplTrait;
fn f() -> Self::ImplTrait;
}
struct S<T>(T);
trait Associated {
type A;
}
// ICE
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)
()
}
}
EOF

0 comments on commit fdb04d3

Please sign in to comment.