This commit is contained in:
Ralf Jung 2018-10-03 08:45:16 +02:00
parent 654d9ff618
commit 9bb4bcd770

View File

@ -180,7 +180,7 @@ impl<'a, 'mir, 'tcx, M: Machine<'a, 'mir, 'tcx>> EvalContext<'a, 'mir, 'tcx, M>
scalar_format(value), path, "a pointer");
let _fn = try_validation!(self.memory.get_fn(ptr),
scalar_format(value), path, "a function pointer");
// TODO: Check if the signature matches
// FIXME: Check if the signature matches
}
ty::FnDef(..) => {
// This is a zero-sized type with all relevant data sitting in the type.