//@ check-pass
// Simple test case of implementing a trait with super-builtin-kinds.
//@ pretty-expanded FIXME #23616
trait Foo : Send { }
impl Foo for isize { }
pub fn main() { }