bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Check for intrinsics before coercing to a function pointer

Browse source 
Return an error if coercing function items / non-capturing closures
to a common function pointer type would require reifying an intrinsic.
This commit is contained in:
Tomasz Miąsko 2021-04-21 00:00:00 +00:00
parent 6df26f897c
commit 75732dd00e
3 changed files with 26 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/rustc_typeck/src/check/coercion.rs
View file

@ -973,6 +973,14 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
}
};
if let (Some(a_sig), Some(b_sig)) = (a_sig, b_sig) {
// Intrinsics are not coercible to function pointers.
if a_sig.abi() == Abi::RustIntrinsic
|| a_sig.abi() == Abi::PlatformIntrinsic
|| b_sig.abi() == Abi::RustIntrinsic
|| b_sig.abi() == Abi::PlatformIntrinsic
{
return Err(TypeError::IntrinsicCast);
}
// The signature must match.
let a_sig = self.normalize_associated_types_in(new.span, a_sig);
let b_sig = self.normalize_associated_types_in(new.span, b_sig);