Rollup merge of #95663 - notriddle:notriddle/unsafe-fn-closure, r=compiler-errors
diagnostics: give a special note for unsafe fn / Fn/FnOnce/FnMut Fixes #90073
This commit is contained in:
commit
1e555bac14
@ -208,6 +208,15 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
|
|||||||
flags.push((sym::_Self, Some("&[]".to_owned())));
|
flags.push((sym::_Self, Some("&[]".to_owned())));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
if self_ty.is_fn() {
|
||||||
|
let fn_sig = self_ty.fn_sig(self.tcx);
|
||||||
|
let shortname = match fn_sig.unsafety() {
|
||||||
|
hir::Unsafety::Normal => "fn",
|
||||||
|
hir::Unsafety::Unsafe => "unsafe fn",
|
||||||
|
};
|
||||||
|
flags.push((sym::_Self, Some(shortname.to_owned())));
|
||||||
|
}
|
||||||
|
|
||||||
if let ty::Array(aty, len) = self_ty.kind() {
|
if let ty::Array(aty, len) = self_ty.kind() {
|
||||||
flags.push((sym::_Self, Some("[]".to_owned())));
|
flags.push((sym::_Self, Some("[]".to_owned())));
|
||||||
flags.push((sym::_Self, Some(format!("[{}]", aty))));
|
flags.push((sym::_Self, Some(format!("[{}]", aty))));
|
||||||
|
@ -60,6 +60,12 @@
|
|||||||
Args = "()",
|
Args = "()",
|
||||||
note = "wrap the `{Self}` in a closure with no arguments: `|| {{ /* code */ }}`"
|
note = "wrap the `{Self}` in a closure with no arguments: `|| {{ /* code */ }}`"
|
||||||
),
|
),
|
||||||
|
on(
|
||||||
|
_Self = "unsafe fn",
|
||||||
|
note = "unsafe function cannot be called generically without an unsafe block",
|
||||||
|
// SAFETY: tidy is not smart enough to tell that the below unsafe block is a string
|
||||||
|
label = "call the function in a closure: `|| unsafe {{ /* code */ }}`"
|
||||||
|
),
|
||||||
message = "expected a `{Fn}<{Args}>` closure, found `{Self}`",
|
message = "expected a `{Fn}<{Args}>` closure, found `{Self}`",
|
||||||
label = "expected an `Fn<{Args}>` closure, found `{Self}`"
|
label = "expected an `Fn<{Args}>` closure, found `{Self}`"
|
||||||
)]
|
)]
|
||||||
@ -141,6 +147,12 @@ pub trait Fn<Args>: FnMut<Args> {
|
|||||||
Args = "()",
|
Args = "()",
|
||||||
note = "wrap the `{Self}` in a closure with no arguments: `|| {{ /* code */ }}`"
|
note = "wrap the `{Self}` in a closure with no arguments: `|| {{ /* code */ }}`"
|
||||||
),
|
),
|
||||||
|
on(
|
||||||
|
_Self = "unsafe fn",
|
||||||
|
note = "unsafe function cannot be called generically without an unsafe block",
|
||||||
|
// SAFETY: tidy is not smart enough to tell that the below unsafe block is a string
|
||||||
|
label = "call the function in a closure: `|| unsafe {{ /* code */ }}`"
|
||||||
|
),
|
||||||
message = "expected a `{FnMut}<{Args}>` closure, found `{Self}`",
|
message = "expected a `{FnMut}<{Args}>` closure, found `{Self}`",
|
||||||
label = "expected an `FnMut<{Args}>` closure, found `{Self}`"
|
label = "expected an `FnMut<{Args}>` closure, found `{Self}`"
|
||||||
)]
|
)]
|
||||||
@ -214,6 +226,12 @@ pub trait FnMut<Args>: FnOnce<Args> {
|
|||||||
Args = "()",
|
Args = "()",
|
||||||
note = "wrap the `{Self}` in a closure with no arguments: `|| {{ /* code */ }}`"
|
note = "wrap the `{Self}` in a closure with no arguments: `|| {{ /* code */ }}`"
|
||||||
),
|
),
|
||||||
|
on(
|
||||||
|
_Self = "unsafe fn",
|
||||||
|
note = "unsafe function cannot be called generically without an unsafe block",
|
||||||
|
// SAFETY: tidy is not smart enough to tell that the below unsafe block is a string
|
||||||
|
label = "call the function in a closure: `|| unsafe {{ /* code */ }}`"
|
||||||
|
),
|
||||||
message = "expected a `{FnOnce}<{Args}>` closure, found `{Self}`",
|
message = "expected a `{FnOnce}<{Args}>` closure, found `{Self}`",
|
||||||
label = "expected an `FnOnce<{Args}>` closure, found `{Self}`"
|
label = "expected an `FnOnce<{Args}>` closure, found `{Self}`"
|
||||||
)]
|
)]
|
||||||
|
@ -2,11 +2,12 @@ error[E0277]: expected a `FnOnce<(&str,)>` closure, found `unsafe extern "rust-i
|
|||||||
--> $DIR/coerce-unsafe-to-closure.rs:2:44
|
--> $DIR/coerce-unsafe-to-closure.rs:2:44
|
||||||
|
|
|
|
||||||
LL | let x: Option<&[u8]> = Some("foo").map(std::mem::transmute);
|
LL | let x: Option<&[u8]> = Some("foo").map(std::mem::transmute);
|
||||||
| --- ^^^^^^^^^^^^^^^^^^^ expected an `FnOnce<(&str,)>` closure, found `unsafe extern "rust-intrinsic" fn(_) -> _ {transmute::<_, _>}`
|
| --- ^^^^^^^^^^^^^^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
|
||||||
| |
|
| |
|
||||||
| required by a bound introduced by this call
|
| required by a bound introduced by this call
|
||||||
|
|
|
|
||||||
= help: the trait `FnOnce<(&str,)>` is not implemented for `unsafe extern "rust-intrinsic" fn(_) -> _ {transmute::<_, _>}`
|
= help: the trait `FnOnce<(&str,)>` is not implemented for `unsafe extern "rust-intrinsic" fn(_) -> _ {transmute::<_, _>}`
|
||||||
|
= note: unsafe function cannot be called generically without an unsafe block
|
||||||
note: required by a bound in `Option::<T>::map`
|
note: required by a bound in `Option::<T>::map`
|
||||||
--> $SRC_DIR/core/src/option.rs:LL:COL
|
--> $SRC_DIR/core/src/option.rs:LL:COL
|
||||||
|
|
|
|
||||||
|
@ -53,7 +53,7 @@ error[E0277]: expected a `Fn<()>` closure, found `unsafe fn() {foo_unsafe}`
|
|||||||
--> $DIR/fn-traits.rs:28:10
|
--> $DIR/fn-traits.rs:28:10
|
||||||
|
|
|
|
||||||
LL | call(foo_unsafe);
|
LL | call(foo_unsafe);
|
||||||
| ---- ^^^^^^^^^^ expected an `Fn<()>` closure, found `unsafe fn() {foo_unsafe}`
|
| ---- ^^^^^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
|
||||||
| |
|
| |
|
||||||
| required by a bound introduced by this call
|
| required by a bound introduced by this call
|
||||||
|
|
|
|
||||||
@ -70,7 +70,7 @@ error[E0277]: expected a `FnMut<()>` closure, found `unsafe fn() {foo_unsafe}`
|
|||||||
--> $DIR/fn-traits.rs:30:14
|
--> $DIR/fn-traits.rs:30:14
|
||||||
|
|
|
|
||||||
LL | call_mut(foo_unsafe);
|
LL | call_mut(foo_unsafe);
|
||||||
| -------- ^^^^^^^^^^ expected an `FnMut<()>` closure, found `unsafe fn() {foo_unsafe}`
|
| -------- ^^^^^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
|
||||||
| |
|
| |
|
||||||
| required by a bound introduced by this call
|
| required by a bound introduced by this call
|
||||||
|
|
|
|
||||||
@ -87,7 +87,7 @@ error[E0277]: expected a `FnOnce<()>` closure, found `unsafe fn() {foo_unsafe}`
|
|||||||
--> $DIR/fn-traits.rs:32:15
|
--> $DIR/fn-traits.rs:32:15
|
||||||
|
|
|
|
||||||
LL | call_once(foo_unsafe);
|
LL | call_once(foo_unsafe);
|
||||||
| --------- ^^^^^^^^^^ expected an `FnOnce<()>` closure, found `unsafe fn() {foo_unsafe}`
|
| --------- ^^^^^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
|
||||||
| |
|
| |
|
||||||
| required by a bound introduced by this call
|
| required by a bound introduced by this call
|
||||||
|
|
|
|
||||||
|
@ -2,11 +2,12 @@ error[E0277]: expected a `Fn<(&isize,)>` closure, found `for<'r> unsafe fn(&'r i
|
|||||||
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:20:21
|
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:20:21
|
||||||
|
|
|
|
||||||
LL | let x = call_it(&square, 22);
|
LL | let x = call_it(&square, 22);
|
||||||
| ------- ^^^^^^^ expected an `Fn<(&isize,)>` closure, found `for<'r> unsafe fn(&'r isize) -> isize {square}`
|
| ------- ^^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
|
||||||
| |
|
| |
|
||||||
| required by a bound introduced by this call
|
| required by a bound introduced by this call
|
||||||
|
|
|
|
||||||
= help: the trait `for<'r> Fn<(&'r isize,)>` is not implemented for `for<'r> unsafe fn(&'r isize) -> isize {square}`
|
= help: the trait `for<'r> Fn<(&'r isize,)>` is not implemented for `for<'r> unsafe fn(&'r isize) -> isize {square}`
|
||||||
|
= note: unsafe function cannot be called generically without an unsafe block
|
||||||
note: required by a bound in `call_it`
|
note: required by a bound in `call_it`
|
||||||
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:9:15
|
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:9:15
|
||||||
|
|
|
|
||||||
@ -17,11 +18,12 @@ error[E0277]: expected a `FnMut<(&isize,)>` closure, found `for<'r> unsafe fn(&'
|
|||||||
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:25:25
|
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:25:25
|
||||||
|
|
|
|
||||||
LL | let y = call_it_mut(&mut square, 22);
|
LL | let y = call_it_mut(&mut square, 22);
|
||||||
| ----------- ^^^^^^^^^^^ expected an `FnMut<(&isize,)>` closure, found `for<'r> unsafe fn(&'r isize) -> isize {square}`
|
| ----------- ^^^^^^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
|
||||||
| |
|
| |
|
||||||
| required by a bound introduced by this call
|
| required by a bound introduced by this call
|
||||||
|
|
|
|
||||||
= help: the trait `for<'r> FnMut<(&'r isize,)>` is not implemented for `for<'r> unsafe fn(&'r isize) -> isize {square}`
|
= help: the trait `for<'r> FnMut<(&'r isize,)>` is not implemented for `for<'r> unsafe fn(&'r isize) -> isize {square}`
|
||||||
|
= note: unsafe function cannot be called generically without an unsafe block
|
||||||
note: required by a bound in `call_it_mut`
|
note: required by a bound in `call_it_mut`
|
||||||
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:12:19
|
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:12:19
|
||||||
|
|
|
|
||||||
@ -32,11 +34,12 @@ error[E0277]: expected a `FnOnce<(&isize,)>` closure, found `for<'r> unsafe fn(&
|
|||||||
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:30:26
|
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:30:26
|
||||||
|
|
|
|
||||||
LL | let z = call_it_once(square, 22);
|
LL | let z = call_it_once(square, 22);
|
||||||
| ------------ ^^^^^^ expected an `FnOnce<(&isize,)>` closure, found `for<'r> unsafe fn(&'r isize) -> isize {square}`
|
| ------------ ^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
|
||||||
| |
|
| |
|
||||||
| required by a bound introduced by this call
|
| required by a bound introduced by this call
|
||||||
|
|
|
|
||||||
= help: the trait `for<'r> FnOnce<(&'r isize,)>` is not implemented for `for<'r> unsafe fn(&'r isize) -> isize {square}`
|
= help: the trait `for<'r> FnOnce<(&'r isize,)>` is not implemented for `for<'r> unsafe fn(&'r isize) -> isize {square}`
|
||||||
|
= note: unsafe function cannot be called generically without an unsafe block
|
||||||
note: required by a bound in `call_it_once`
|
note: required by a bound in `call_it_once`
|
||||||
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:15:20
|
--> $DIR/unboxed-closures-unsafe-extern-fn.rs:15:20
|
||||||
|
|
|
|
||||||
|
@ -2,11 +2,12 @@ error[E0277]: expected a `Fn<(&isize,)>` closure, found `unsafe fn(isize) -> isi
|
|||||||
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:21:21
|
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:21:21
|
||||||
|
|
|
|
||||||
LL | let x = call_it(&square, 22);
|
LL | let x = call_it(&square, 22);
|
||||||
| ------- ^^^^^^^ expected an `Fn<(&isize,)>` closure, found `unsafe fn(isize) -> isize {square}`
|
| ------- ^^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
|
||||||
| |
|
| |
|
||||||
| required by a bound introduced by this call
|
| required by a bound introduced by this call
|
||||||
|
|
|
|
||||||
= help: the trait `for<'r> Fn<(&'r isize,)>` is not implemented for `unsafe fn(isize) -> isize {square}`
|
= help: the trait `for<'r> Fn<(&'r isize,)>` is not implemented for `unsafe fn(isize) -> isize {square}`
|
||||||
|
= note: unsafe function cannot be called generically without an unsafe block
|
||||||
note: required by a bound in `call_it`
|
note: required by a bound in `call_it`
|
||||||
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:10:15
|
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:10:15
|
||||||
|
|
|
|
||||||
@ -17,11 +18,12 @@ error[E0277]: expected a `FnMut<(&isize,)>` closure, found `unsafe fn(isize) ->
|
|||||||
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:26:25
|
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:26:25
|
||||||
|
|
|
|
||||||
LL | let y = call_it_mut(&mut square, 22);
|
LL | let y = call_it_mut(&mut square, 22);
|
||||||
| ----------- ^^^^^^^^^^^ expected an `FnMut<(&isize,)>` closure, found `unsafe fn(isize) -> isize {square}`
|
| ----------- ^^^^^^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
|
||||||
| |
|
| |
|
||||||
| required by a bound introduced by this call
|
| required by a bound introduced by this call
|
||||||
|
|
|
|
||||||
= help: the trait `for<'r> FnMut<(&'r isize,)>` is not implemented for `unsafe fn(isize) -> isize {square}`
|
= help: the trait `for<'r> FnMut<(&'r isize,)>` is not implemented for `unsafe fn(isize) -> isize {square}`
|
||||||
|
= note: unsafe function cannot be called generically without an unsafe block
|
||||||
note: required by a bound in `call_it_mut`
|
note: required by a bound in `call_it_mut`
|
||||||
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:13:19
|
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:13:19
|
||||||
|
|
|
|
||||||
@ -32,11 +34,12 @@ error[E0277]: expected a `FnOnce<(&isize,)>` closure, found `unsafe fn(isize) ->
|
|||||||
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:31:26
|
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:31:26
|
||||||
|
|
|
|
||||||
LL | let z = call_it_once(square, 22);
|
LL | let z = call_it_once(square, 22);
|
||||||
| ------------ ^^^^^^ expected an `FnOnce<(&isize,)>` closure, found `unsafe fn(isize) -> isize {square}`
|
| ------------ ^^^^^^ call the function in a closure: `|| unsafe { /* code */ }`
|
||||||
| |
|
| |
|
||||||
| required by a bound introduced by this call
|
| required by a bound introduced by this call
|
||||||
|
|
|
|
||||||
= help: the trait `for<'r> FnOnce<(&'r isize,)>` is not implemented for `unsafe fn(isize) -> isize {square}`
|
= help: the trait `for<'r> FnOnce<(&'r isize,)>` is not implemented for `unsafe fn(isize) -> isize {square}`
|
||||||
|
= note: unsafe function cannot be called generically without an unsafe block
|
||||||
note: required by a bound in `call_it_once`
|
note: required by a bound in `call_it_once`
|
||||||
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:16:20
|
--> $DIR/unboxed-closures-wrong-arg-type-extern-fn.rs:16:20
|
||||||
|
|
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user