1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
//@ known-bug: #138707
//@edition:2024
//@compile-flags: --crate-type lib
use core::marker::PhantomData;
struct LeftReflector<S> {
_phantom: PhantomData<S>,
}
struct DefaultAllocator {}
trait Allocator<R> {
type Buffer;
}
struct U2 {}
impl Allocator<U2> for DefaultAllocator {
type Buffer = [u8; 2];
}
impl<R> From<R> for LeftReflector<<DefaultAllocator as Allocator<R>>::Buffer>
where
DefaultAllocator: Allocator<R>,
{
fn from(_: R) -> Self {
todo!()
}
}
fn ice<D>(a: U2)
where
DefaultAllocator: Allocator<D>,
{
// ICE
let _ = LeftReflector::from(a);
}
|
