blob: e216f6879133415da6feef5893a4ead7c54ce11f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// Ensure that we don't get a mismatch error when inserting the host param
// at the end of generic args when the generics have defaulted params.
//
// check-pass
#![feature(const_trait_impl, effects)]
#[const_trait]
pub trait Foo<Rhs: ?Sized = Self> {
/* stuff */
}
impl const Foo for () {}
fn main() {}
|