19 lines
443 B
Rust
19 lines
443 B
Rust
|
// We used to ICE here while trying to synthesize auto trait impls.
|
||
|
|
// issue: 114657
|
||
|
|
|
||
|
|
pub trait Foo {
|
||
|
|
type FooType;
|
||
|
|
}
|
||
|
|
|
||
|
|
pub trait Bar<const A: usize>: Foo<FooType = <Self as Bar<A>>::BarType> {
|
||
|
|
type BarType;
|
||
|
|
}
|
||
|
|
|
||
|
|
pub(crate) const B: usize = 5;
|
||
|
|
|
||
|
|
pub trait Tec: Bar<B> {}
|
||
|
|
|
||
|
|
pub struct Structure<C: Tec> { //~ ERROR the trait bound `C: Bar<5>` is not satisfied
|
||
|
|
_field: C::BarType, //~ ERROR the trait bound `C: Bar<5>` is not satisfied
|
||
|
|
}
|