parent
d3c3de8abe
commit
85388f0958
@ -51,10 +51,12 @@ fn equate_intrinsic_type<'a, 'tcx>(ccx: &CrateCtxt<'a, 'tcx>,
|
|||||||
}));
|
}));
|
||||||
let i_n_tps = i_ty.generics.types.len(subst::FnSpace);
|
let i_n_tps = i_ty.generics.types.len(subst::FnSpace);
|
||||||
if i_n_tps != n_tps {
|
if i_n_tps != n_tps {
|
||||||
span_err!(tcx.sess, it.span, E0094,
|
struct_span_err!(tcx.sess, it.span, E0094,
|
||||||
"intrinsic has wrong number of type \
|
"intrinsic has wrong number of type \
|
||||||
parameters: found {}, expected {}",
|
parameters: found {}, expected {}",
|
||||||
i_n_tps, n_tps);
|
i_n_tps, n_tps)
|
||||||
|
.span_label(it.span, &format!("expected {} type parameter", n_tps))
|
||||||
|
.emit();
|
||||||
} else {
|
} else {
|
||||||
require_same_types(ccx,
|
require_same_types(ccx,
|
||||||
TypeOrigin::IntrinsicType(it.span),
|
TypeOrigin::IntrinsicType(it.span),
|
||||||
|
@ -11,6 +11,7 @@
|
|||||||
#![feature(intrinsics)]
|
#![feature(intrinsics)]
|
||||||
extern "rust-intrinsic" {
|
extern "rust-intrinsic" {
|
||||||
fn size_of<T, U>() -> usize; //~ ERROR E0094
|
fn size_of<T, U>() -> usize; //~ ERROR E0094
|
||||||
|
//~| NOTE expected 1 type parameter
|
||||||
}
|
}
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user