add regression test
This commit is contained in:
parent
73936ab57a
commit
ab6ea2bba7
|
@ -0,0 +1,25 @@
|
|||
// Check that associated types print generic parameters and where clauses.
|
||||
// See issue #67509.
|
||||
|
||||
// pretty-compare-only
|
||||
// pp-exact:gat-bounds.pp
|
||||
|
||||
#![feature(generic_associated_types)]
|
||||
|
||||
trait X {
|
||||
type
|
||||
Y<T>: Trait
|
||||
where
|
||||
Self: Sized;
|
||||
}
|
||||
|
||||
impl X for () {
|
||||
type
|
||||
Y<T>
|
||||
where
|
||||
Self: Sized
|
||||
=
|
||||
u32;
|
||||
}
|
||||
|
||||
fn main() { }
|
|
@ -0,0 +1,17 @@
|
|||
// Check that associated types print generic parameters and where clauses.
|
||||
// See issue #67509.
|
||||
|
||||
// pretty-compare-only
|
||||
// pp-exact:gat-bounds.pp
|
||||
|
||||
#![feature(generic_associated_types)]
|
||||
|
||||
trait X {
|
||||
type Y<T>: Trait where Self: Sized;
|
||||
}
|
||||
|
||||
impl X for () {
|
||||
type Y<T> where Self: Sized = u32;
|
||||
}
|
||||
|
||||
fn main() { }
|
Loading…
Reference in New Issue