//@ 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); | |
} |