about summary refs log tree commit diff
path: root/tests/ui/traits/next-solver/pointer-like.rs
blob: bdcad4d4c5eb27a24392179103aa1a4abd94fa84 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
//@ 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);
}