Add a regression test for #85921
This commit is contained in:
parent
4e89811b46
commit
6bcf0e471b
1 changed files with 19 additions and 0 deletions
19
src/test/ui/generic-associated-types/issue-85921.rs
Normal file
19
src/test/ui/generic-associated-types/issue-85921.rs
Normal file
|
@ -0,0 +1,19 @@
|
|||
// check-pass
|
||||
|
||||
#![feature(generic_associated_types)]
|
||||
|
||||
trait Trait {
|
||||
type Assoc<'a>;
|
||||
|
||||
fn with_assoc(f: impl FnOnce(Self::Assoc<'_>));
|
||||
}
|
||||
|
||||
impl Trait for () {
|
||||
type Assoc<'a> = i32;
|
||||
|
||||
fn with_assoc(f: impl FnOnce(Self::Assoc<'_>)) {
|
||||
f(5i32)
|
||||
}
|
||||
}
|
||||
|
||||
fn main() {}
|
Loading…
Reference in a new issue