blob: 1be5b46d6df682f606c3164377909ad0a84a78c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#![feature(type_alias_impl_trait)]
#![allow(dead_code)]
type Bug<T, U> = impl Fn(T) -> U + Copy;
union Moo {
x: Bug<u8, ()>,
y: (),
}
const CONST_BUG: Bug<u8, ()> = unsafe { Moo { y: () }.x };
fn make_bug<T, U: From<T>>() -> Bug<T, U> {
|x| x.into() //~ ERROR the trait bound `U: From<T>` is not satisfied
}
fn main() {
CONST_BUG(0);
}
|