47 lines
1.2 KiB
Rust
47 lines
1.2 KiB
Rust
fn of<T>() -> @fn(T) { fail; }
|
|
fn subtype<T>(x: @fn(T)) { fail; }
|
|
|
|
fn test_fn<T>(_x: &x/T, _y: &y/T, _z: &z/T) {
|
|
// Here, x, y, and z are free. Other letters
|
|
// are bound. Note that the arrangement
|
|
// subtype::<T1>(of::<T2>()) will typecheck
|
|
// iff T1 <: T2.
|
|
|
|
subtype::<fn(&a/T)>(
|
|
of::<fn(&a/T)>());
|
|
|
|
subtype::<fn(&a/T)>(
|
|
of::<fn(&b/T)>());
|
|
|
|
subtype::<fn(&b/T)>(
|
|
of::<fn(&x/T)>());
|
|
|
|
subtype::<fn(&x/T)>(
|
|
of::<fn(&b/T)>()); //~ ERROR mismatched types
|
|
|
|
subtype::<fn(&a/T, &b/T)>(
|
|
of::<fn(&a/T, &a/T)>());
|
|
|
|
subtype::<fn(&a/T, &a/T)>(
|
|
of::<fn(&a/T, &b/T)>()); //~ ERROR mismatched types
|
|
|
|
subtype::<fn(&a/T, &b/T)>(
|
|
of::<fn(&x/T, &y/T)>());
|
|
|
|
subtype::<fn(&x/T, &y/T)>(
|
|
of::<fn(&a/T, &b/T)>()); //~ ERROR mismatched types
|
|
|
|
subtype::<fn(&x/T) -> @fn(&a/T)>(
|
|
of::<fn(&x/T) -> @fn(&a/T)>());
|
|
|
|
subtype::<fn(&a/T) -> @fn(&a/T)>(
|
|
of::<fn(&a/T) -> @fn(&b/T)>()); //~ ERROR mismatched types
|
|
|
|
subtype::<fn(&a/T) -> @fn(&a/T)>(
|
|
of::<fn(&x/T) -> @fn(&b/T)>()); //~ ERROR mismatched types
|
|
|
|
subtype::<fn(&a/T) -> @fn(&b/T)>(
|
|
of::<fn(&a/T) -> @fn(&a/T)>());
|
|
}
|
|
|
|
fn main() {} |