blob: 3c59e1b790a12498457cc68f28d1e48d75b52dbd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// build-pass
#![allow(incomplete_features)]
#![feature(generic_const_exprs)]
use std::convert::AsMut;
use std::default::Default;
trait Foo: Sized {
type Baz: Default + AsMut<[u8]>;
fn bar() {
Self::Baz::default().as_mut();
}
}
impl Foo for () {
type Baz = [u8; 1 * 1];
//type Baz = [u8; 1];
}
fn main() {
<() as Foo>::bar();
}
|
