blob: bdcad4d4c5eb27a24392179103aa1a4abd94fa84 [file] [log] [blame] [edit]
//@ 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);
}