15 lines
273 B
Rust
15 lines
273 B
Rust
//@ compile-flags: -Znext-solver
|
|
|
|
#![feature(pointer_like_trait)]
|
|
|
|
use std::marker::PointerLike;
|
|
|
|
fn require_(_: impl PointerLike) {}
|
|
|
|
fn main() {
|
|
require_(1usize);
|
|
require_(1u16);
|
|
//~^ ERROR `u16` needs to have the same ABI as a pointer
|
|
require_(&1i16);
|
|
}
|