Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit f81518a

Browse files
CBSpeirCBSpeir
committedOct 15, 2024·
Add [extern_without_abi] lint
1 parent f328623 commit f81518a

14 files changed

+350
-36
lines changed
 

‎CHANGELOG.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5456,6 +5456,7 @@ Released 2018-09-13
54565456
[`explicit_write`]: https://rust-lang.github.io/rust-clippy/master/index.html#explicit_write
54575457
[`extend_from_slice`]: https://rust-lang.github.io/rust-clippy/master/index.html#extend_from_slice
54585458
[`extend_with_drain`]: https://rust-lang.github.io/rust-clippy/master/index.html#extend_with_drain
5459+
[`extern_without_abi`]: https://rust-lang.github.io/rust-clippy/master/index.html#extern_without_abi
54595460
[`extra_unused_lifetimes`]: https://rust-lang.github.io/rust-clippy/master/index.html#extra_unused_lifetimes
54605461
[`extra_unused_type_parameters`]: https://rust-lang.github.io/rust-clippy/master/index.html#extra_unused_type_parameters
54615462
[`fallible_impl_from`]: https://rust-lang.github.io/rust-clippy/master/index.html#fallible_impl_from

‎clippy_lints/src/declared_lints.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -173,6 +173,7 @@ pub static LINTS: &[&crate::LintInfo] = &[
173173
crate::exhaustive_items::EXHAUSTIVE_STRUCTS_INFO,
174174
crate::exit::EXIT_INFO,
175175
crate::explicit_write::EXPLICIT_WRITE_INFO,
176+
crate::extern_without_abi::EXTERN_WITHOUT_ABI_INFO,
176177
crate::extra_unused_type_parameters::EXTRA_UNUSED_TYPE_PARAMETERS_INFO,
177178
crate::fallible_impl_from::FALLIBLE_IMPL_FROM_INFO,
178179
crate::field_scoped_visibility_modifiers::FIELD_SCOPED_VISIBILITY_MODIFIERS_INFO,

‎clippy_lints/src/extern_without_abi.rs

Lines changed: 113 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,113 @@
1+
use clippy_utils::diagnostics::span_lint_and_sugg;
2+
use clippy_utils::is_from_proc_macro;
3+
use clippy_utils::source::snippet;
4+
use rustc_errors::Applicability;
5+
use rustc_hir::def_id::LocalDefId;
6+
use rustc_hir::intravisit::FnKind;
7+
use rustc_hir::{Body, FnDecl, FnHeader, Item, ItemKind};
8+
use rustc_lint::{LateContext, LateLintPass, LintContext};
9+
use rustc_middle::lint::in_external_macro;
10+
use rustc_session::declare_lint_pass;
11+
use rustc_span::Span;
12+
use rustc_target::spec::abi::Abi;
13+
14+
const LINT_MSG: &str = "`extern` missing explicit ABI";
15+
const LINT_HELP_MSG: &str = "consider using";
16+
17+
const EXTERN: &str = "extern";
18+
const FN: &str = "fn";
19+
const OPEN_BRACE: &str = "{";
20+
const ABI: &str = "\"C\"";
21+
22+
declare_clippy_lint! {
23+
/// ### What it does
24+
/// Checks for usage of `extern` without an explicit ABI.
25+
///
26+
/// ### Why is this bad?
27+
/// Explicitly declaring the ABI is the recommended convention. See:
28+
/// [Rust Style Guide - `extern` items](https://doc.rust-lang.org/nightly/style-guide/items.html#extern-items)
29+
///
30+
/// It's also enforced by `rustfmt` when the `force_explicit_abi` option is enabled. See:
31+
/// [Configuring Rustfmt](https://rust-lang.github.io/rustfmt/?version=master&search=#force_explicit_abi)
32+
///
33+
/// ### Example
34+
/// ```no_run
35+
/// extern fn foo() {}
36+
///
37+
/// extern {
38+
/// fn bar();
39+
/// }
40+
/// ```
41+
/// Use instead:
42+
/// ```no_run
43+
/// extern "C" fn foo() {}
44+
///
45+
/// extern "C" {
46+
/// fn bar();
47+
/// }
48+
/// ```
49+
#[clippy::version = "1.83.0"]
50+
pub EXTERN_WITHOUT_ABI,
51+
style,
52+
"`extern` missing explicit ABI"
53+
}
54+
55+
declare_lint_pass!(ExternWithoutAbi => [EXTERN_WITHOUT_ABI]);
56+
57+
impl<'tcx> LateLintPass<'tcx> for ExternWithoutAbi {
58+
fn check_item(&mut self, cx: &LateContext<'tcx>, item: &'tcx Item<'tcx>) {
59+
if let ItemKind::ForeignMod { abi: Abi::C { .. }, .. } = item.kind
60+
&& !in_external_macro(cx.sess(), item.span)
61+
&& !is_from_proc_macro(cx, item)
62+
&& let snippet = snippet(cx.sess(), item.span, "").as_ref()
63+
&& is_extern_followed_by(OPEN_BRACE, snippet)
64+
{
65+
emit_lint(cx, item.span, snippet);
66+
}
67+
}
68+
69+
fn check_fn(
70+
&mut self,
71+
cx: &LateContext<'tcx>,
72+
kind: FnKind<'tcx>,
73+
_: &'tcx FnDecl<'tcx>,
74+
body: &'tcx Body<'tcx>,
75+
span: Span,
76+
_: LocalDefId,
77+
) {
78+
if let FnKind::ItemFn(_, _, header) = kind
79+
&& let FnHeader { abi: Abi::C { .. }, .. } = header
80+
&& !in_external_macro(cx.sess(), span)
81+
&& let hir_id = cx.tcx.hir().body_owner(body.id())
82+
&& !is_from_proc_macro(cx, &(&kind, body, hir_id, span))
83+
&& let snippet = snippet(cx.sess(), span, "").as_ref()
84+
&& is_extern_followed_by(FN, snippet)
85+
{
86+
emit_lint(cx, span, snippet);
87+
}
88+
}
89+
}
90+
91+
fn is_extern_followed_by(item: &str, snippet: &str) -> bool {
92+
let mut tokens = snippet.split_whitespace();
93+
94+
if let (_, Some(i)) = (tokens.next(), tokens.next())
95+
&& i.starts_with(item)
96+
{
97+
return true;
98+
}
99+
false
100+
}
101+
102+
fn emit_lint(cx: &LateContext<'_>, span: Span, snippet: &str) {
103+
let sugg = snippet.replacen(EXTERN, format!("{EXTERN} {ABI}").as_str(), 1);
104+
span_lint_and_sugg(
105+
cx,
106+
EXTERN_WITHOUT_ABI,
107+
span,
108+
LINT_MSG,
109+
LINT_HELP_MSG,
110+
sugg,
111+
Applicability::MachineApplicable,
112+
);
113+
}

‎clippy_lints/src/lib.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -137,6 +137,7 @@ mod excessive_nesting;
137137
mod exhaustive_items;
138138
mod exit;
139139
mod explicit_write;
140+
mod extern_without_abi;
140141
mod extra_unused_type_parameters;
141142
mod fallible_impl_from;
142143
mod field_scoped_visibility_modifiers;
@@ -951,5 +952,6 @@ pub fn register_lints(store: &mut rustc_lint::LintStore, conf: &'static Conf) {
951952
store.register_late_pass(move |_| Box::new(unused_trait_names::UnusedTraitNames::new(conf)));
952953
store.register_late_pass(|_| Box::new(manual_ignore_case_cmp::ManualIgnoreCaseCmp));
953954
store.register_late_pass(|_| Box::new(unnecessary_literal_bound::UnnecessaryLiteralBound));
955+
store.register_late_pass(|_| Box::new(extern_without_abi::ExternWithoutAbi));
954956
// add lints here, do not remove this comment, it's used in `new_lint`
955957
}

‎tests/ui/boxed_local.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
#![allow(
22
clippy::borrowed_box,
3+
clippy::extern_without_abi,
34
clippy::needless_pass_by_value,
45
clippy::unused_unit,
56
clippy::redundant_clone,

‎tests/ui/boxed_local.stderr

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: local variable doesn't need to be boxed here
2-
--> tests/ui/boxed_local.rs:40:13
2+
--> tests/ui/boxed_local.rs:41:13
33
|
44
LL | fn warn_arg(x: Box<A>) {
55
| ^
@@ -8,19 +8,19 @@ LL | fn warn_arg(x: Box<A>) {
88
= help: to override `-D warnings` add `#[allow(clippy::boxed_local)]`
99

1010
error: local variable doesn't need to be boxed here
11-
--> tests/ui/boxed_local.rs:123:12
11+
--> tests/ui/boxed_local.rs:124:12
1212
|
1313
LL | pub fn new(_needs_name: Box<PeekableSeekable<&()>>) -> () {}
1414
| ^^^^^^^^^^^
1515

1616
error: local variable doesn't need to be boxed here
17-
--> tests/ui/boxed_local.rs:188:44
17+
--> tests/ui/boxed_local.rs:189:44
1818
|
1919
LL | fn default_impl_x(self: Box<Self>, x: Box<u32>) -> u32 {
2020
| ^
2121

2222
error: local variable doesn't need to be boxed here
23-
--> tests/ui/boxed_local.rs:196:16
23+
--> tests/ui/boxed_local.rs:197:16
2424
|
2525
LL | fn foo(x: Box<u32>) {}
2626
| ^

‎tests/ui/doc/doc-fixable.fixed

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11

22
//! This file tests for the `DOC_MARKDOWN` lint.
33

4-
#![allow(dead_code, incomplete_features)]
4+
#![allow(dead_code, incomplete_features, clippy::extern_without_abi)]
55
#![warn(clippy::doc_markdown)]
66
#![feature(custom_inner_attributes, generic_const_exprs, const_option)]
77
#![rustfmt::skip]

‎tests/ui/doc/doc-fixable.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11

22
//! This file tests for the `DOC_MARKDOWN` lint.
33
4-
#![allow(dead_code, incomplete_features)]
4+
#![allow(dead_code, incomplete_features, clippy::extern_without_abi)]
55
#![warn(clippy::doc_markdown)]
66
#![feature(custom_inner_attributes, generic_const_exprs, const_option)]
77
#![rustfmt::skip]

‎tests/ui/extern_without_abi.fixed

Lines changed: 60 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,60 @@
1+
//@aux-build:proc_macros.rs
2+
3+
#![warn(clippy::extern_without_abi)]
4+
5+
extern crate proc_macros;
6+
use proc_macros::{external, with_span};
7+
8+
#[rustfmt::skip]
9+
extern "C" fn foo() {}
10+
//~^ ERROR: `extern` missing explicit ABI
11+
12+
#[rustfmt::skip]
13+
extern "C"
14+
fn foo_two() {}
15+
//~^^ ERROR: `extern` missing explicit ABI
16+
17+
extern "C" fn bar() {}
18+
19+
#[rustfmt::skip]
20+
extern
21+
"C"
22+
fn bar_two() {}
23+
24+
extern "system" fn baz() {}
25+
26+
#[rustfmt::skip]
27+
extern "C" {
28+
//~^ ERROR: `extern` missing explicit ABI
29+
fn qux();
30+
}
31+
32+
#[rustfmt::skip]
33+
extern "C"
34+
{
35+
//~^^ ERROR: `extern` missing explicit ABI
36+
fn qux_two();
37+
}
38+
39+
#[rustfmt::skip]
40+
extern "C" {fn qux_three();}
41+
//~^ ERROR: `extern` missing explicit ABI
42+
43+
extern "C" {
44+
fn grault();
45+
}
46+
47+
extern "system" {
48+
fn grault_two();
49+
}
50+
51+
external! {
52+
extern fn waldo() {}
53+
}
54+
55+
with_span! {
56+
span
57+
extern fn waldo_two() {}
58+
}
59+
60+
fn main() {}

‎tests/ui/extern_without_abi.rs

Lines changed: 60 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,60 @@
1+
//@aux-build:proc_macros.rs
2+
3+
#![warn(clippy::extern_without_abi)]
4+
5+
extern crate proc_macros;
6+
use proc_macros::{external, with_span};
7+
8+
#[rustfmt::skip]
9+
extern fn foo() {}
10+
//~^ ERROR: `extern` missing explicit ABI
11+
12+
#[rustfmt::skip]
13+
extern
14+
fn foo_two() {}
15+
//~^^ ERROR: `extern` missing explicit ABI
16+
17+
extern "C" fn bar() {}
18+
19+
#[rustfmt::skip]
20+
extern
21+
"C"
22+
fn bar_two() {}
23+
24+
extern "system" fn baz() {}
25+
26+
#[rustfmt::skip]
27+
extern {
28+
//~^ ERROR: `extern` missing explicit ABI
29+
fn qux();
30+
}
31+
32+
#[rustfmt::skip]
33+
extern
34+
{
35+
//~^^ ERROR: `extern` missing explicit ABI
36+
fn qux_two();
37+
}
38+
39+
#[rustfmt::skip]
40+
extern {fn qux_three();}
41+
//~^ ERROR: `extern` missing explicit ABI
42+
43+
extern "C" {
44+
fn grault();
45+
}
46+
47+
extern "system" {
48+
fn grault_two();
49+
}
50+
51+
external! {
52+
extern fn waldo() {}
53+
}
54+
55+
with_span! {
56+
span
57+
extern fn waldo_two() {}
58+
}
59+
60+
fn main() {}

‎tests/ui/extern_without_abi.stderr

Lines changed: 66 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,66 @@
1+
error: `extern` missing explicit ABI
2+
--> tests/ui/extern_without_abi.rs:9:1
3+
|
4+
LL | extern fn foo() {}
5+
| ^^^^^^^^^^^^^^^^^^ help: consider using: `extern "C" fn foo() {}`
6+
|
7+
= note: `-D clippy::extern-without-abi` implied by `-D warnings`
8+
= help: to override `-D warnings` add `#[allow(clippy::extern_without_abi)]`
9+
10+
error: `extern` missing explicit ABI
11+
--> tests/ui/extern_without_abi.rs:13:1
12+
|
13+
LL | / extern
14+
LL | | fn foo_two() {}
15+
| |_______________^
16+
|
17+
help: consider using
18+
|
19+
LL ~ extern "C"
20+
LL + fn foo_two() {}
21+
|
22+
23+
error: `extern` missing explicit ABI
24+
--> tests/ui/extern_without_abi.rs:27:1
25+
|
26+
LL | / extern {
27+
LL | |
28+
LL | | fn qux();
29+
LL | | }
30+
| |_^
31+
|
32+
help: consider using
33+
|
34+
LL + extern "C" {
35+
LL +
36+
LL + fn qux();
37+
LL + }
38+
|
39+
40+
error: `extern` missing explicit ABI
41+
--> tests/ui/extern_without_abi.rs:33:1
42+
|
43+
LL | / extern
44+
LL | | {
45+
LL | |
46+
LL | | fn qux_two();
47+
LL | | }
48+
| |_^
49+
|
50+
help: consider using
51+
|
52+
LL ~ extern "C"
53+
LL + {
54+
LL +
55+
LL + fn qux_two();
56+
LL + }
57+
|
58+
59+
error: `extern` missing explicit ABI
60+
--> tests/ui/extern_without_abi.rs:40:1
61+
|
62+
LL | extern {fn qux_three();}
63+
| ^^^^^^^^^^^^^^^^^^^^^^^^ help: consider using: `extern "C" {fn qux_three();}`
64+
65+
error: aborting due to 5 previous errors
66+

‎tests/ui/missing_const_for_fn/could_be_const.fixed

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
#![warn(clippy::missing_const_for_fn)]
2-
#![allow(incomplete_features, clippy::let_and_return, clippy::missing_transmute_annotations)]
3-
#![allow(unsupported_calling_conventions)]
2+
#![allow(
3+
incomplete_features,
4+
unsupported_calling_conventions,
5+
clippy::extern_without_abi,
6+
clippy::let_and_return,
7+
clippy::missing_transmute_annotations
8+
)]
49
#![feature(const_trait_impl)]
510

611
use std::mem::transmute;

‎tests/ui/missing_const_for_fn/could_be_const.rs

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
#![warn(clippy::missing_const_for_fn)]
2-
#![allow(incomplete_features, clippy::let_and_return, clippy::missing_transmute_annotations)]
3-
#![allow(unsupported_calling_conventions)]
2+
#![allow(
3+
incomplete_features,
4+
unsupported_calling_conventions,
5+
clippy::extern_without_abi,
6+
clippy::let_and_return,
7+
clippy::missing_transmute_annotations
8+
)]
49
#![feature(const_trait_impl)]
510

611
use std::mem::transmute;

‎tests/ui/missing_const_for_fn/could_be_const.stderr

Lines changed: 26 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: this could be a `const fn`
2-
--> tests/ui/missing_const_for_fn/could_be_const.rs:14:5
2+
--> tests/ui/missing_const_for_fn/could_be_const.rs:19:5
33
|
44
LL | / pub fn new() -> Self {
55
LL | |
@@ -16,7 +16,7 @@ LL | pub const fn new() -> Self {
1616
| +++++
1717

1818
error: this could be a `const fn`
19-
--> tests/ui/missing_const_for_fn/could_be_const.rs:20:5
19+
--> tests/ui/missing_const_for_fn/could_be_const.rs:25:5
2020
|
2121
LL | / fn const_generic_params<'a, T, const N: usize>(&self, b: &'a [T; N]) -> &'a [T; N] {
2222
LL | |
@@ -30,7 +30,7 @@ LL | const fn const_generic_params<'a, T, const N: usize>(&self, b: &'a [T;
3030
| +++++
3131

3232
error: this could be a `const fn`
33-
--> tests/ui/missing_const_for_fn/could_be_const.rs:27:1
33+
--> tests/ui/missing_const_for_fn/could_be_const.rs:32:1
3434
|
3535
LL | / fn one() -> i32 {
3636
LL | |
@@ -44,7 +44,7 @@ LL | const fn one() -> i32 {
4444
| +++++
4545

4646
error: this could be a `const fn`
47-
--> tests/ui/missing_const_for_fn/could_be_const.rs:33:1
47+
--> tests/ui/missing_const_for_fn/could_be_const.rs:38:1
4848
|
4949
LL | / fn two() -> i32 {
5050
LL | |
@@ -59,7 +59,7 @@ LL | const fn two() -> i32 {
5959
| +++++
6060

6161
error: this could be a `const fn`
62-
--> tests/ui/missing_const_for_fn/could_be_const.rs:40:1
62+
--> tests/ui/missing_const_for_fn/could_be_const.rs:45:1
6363
|
6464
LL | / fn string() -> String {
6565
LL | |
@@ -73,7 +73,7 @@ LL | const fn string() -> String {
7373
| +++++
7474

7575
error: this could be a `const fn`
76-
--> tests/ui/missing_const_for_fn/could_be_const.rs:46:1
76+
--> tests/ui/missing_const_for_fn/could_be_const.rs:51:1
7777
|
7878
LL | / unsafe fn four() -> i32 {
7979
LL | |
@@ -87,7 +87,7 @@ LL | const unsafe fn four() -> i32 {
8787
| +++++
8888

8989
error: this could be a `const fn`
90-
--> tests/ui/missing_const_for_fn/could_be_const.rs:52:1
90+
--> tests/ui/missing_const_for_fn/could_be_const.rs:57:1
9191
|
9292
LL | / fn generic<T>(t: T) -> T {
9393
LL | |
@@ -101,7 +101,7 @@ LL | const fn generic<T>(t: T) -> T {
101101
| +++++
102102

103103
error: this could be a `const fn`
104-
--> tests/ui/missing_const_for_fn/could_be_const.rs:61:1
104+
--> tests/ui/missing_const_for_fn/could_be_const.rs:66:1
105105
|
106106
LL | / fn generic_arr<T: Copy>(t: [T; 1]) -> T {
107107
LL | |
@@ -115,7 +115,7 @@ LL | const fn generic_arr<T: Copy>(t: [T; 1]) -> T {
115115
| +++++
116116

117117
error: this could be a `const fn`
118-
--> tests/ui/missing_const_for_fn/could_be_const.rs:75:9
118+
--> tests/ui/missing_const_for_fn/could_be_const.rs:80:9
119119
|
120120
LL | / pub fn b(self, a: &A) -> B {
121121
LL | |
@@ -129,7 +129,7 @@ LL | pub const fn b(self, a: &A) -> B {
129129
| +++++
130130

131131
error: this could be a `const fn`
132-
--> tests/ui/missing_const_for_fn/could_be_const.rs:85:5
132+
--> tests/ui/missing_const_for_fn/could_be_const.rs:90:5
133133
|
134134
LL | / fn const_fn_stabilized_before_msrv(byte: u8) {
135135
LL | |
@@ -143,7 +143,7 @@ LL | const fn const_fn_stabilized_before_msrv(byte: u8) {
143143
| +++++
144144

145145
error: this could be a `const fn`
146-
--> tests/ui/missing_const_for_fn/could_be_const.rs:97:1
146+
--> tests/ui/missing_const_for_fn/could_be_const.rs:102:1
147147
|
148148
LL | / fn msrv_1_46() -> i32 {
149149
LL | |
@@ -157,7 +157,7 @@ LL | const fn msrv_1_46() -> i32 {
157157
| +++++
158158

159159
error: this could be a `const fn`
160-
--> tests/ui/missing_const_for_fn/could_be_const.rs:117:1
160+
--> tests/ui/missing_const_for_fn/could_be_const.rs:122:1
161161
|
162162
LL | fn d(this: D) {}
163163
| ^^^^^^^^^^^^^^^^
@@ -168,7 +168,7 @@ LL | const fn d(this: D) {}
168168
| +++++
169169

170170
error: this could be a `const fn`
171-
--> tests/ui/missing_const_for_fn/could_be_const.rs:125:9
171+
--> tests/ui/missing_const_for_fn/could_be_const.rs:130:9
172172
|
173173
LL | / fn deref_ptr_can_be_const(self) -> usize {
174174
LL | |
@@ -182,7 +182,7 @@ LL | const fn deref_ptr_can_be_const(self) -> usize {
182182
| +++++
183183

184184
error: this could be a `const fn`
185-
--> tests/ui/missing_const_for_fn/could_be_const.rs:130:9
185+
--> tests/ui/missing_const_for_fn/could_be_const.rs:135:9
186186
|
187187
LL | / fn deref_copied_val(self) -> usize {
188188
LL | |
@@ -196,7 +196,7 @@ LL | const fn deref_copied_val(self) -> usize {
196196
| +++++
197197

198198
error: this could be a `const fn`
199-
--> tests/ui/missing_const_for_fn/could_be_const.rs:141:5
199+
--> tests/ui/missing_const_for_fn/could_be_const.rs:146:5
200200
|
201201
LL | / fn union_access_can_be_const() {
202202
LL | |
@@ -211,7 +211,7 @@ LL | const fn union_access_can_be_const() {
211211
| +++++
212212

213213
error: this could be a `const fn`
214-
--> tests/ui/missing_const_for_fn/could_be_const.rs:149:9
214+
--> tests/ui/missing_const_for_fn/could_be_const.rs:154:9
215215
|
216216
LL | extern "C" fn c() {}
217217
| ^^^^^^^^^^^^^^^^^^^^
@@ -222,7 +222,7 @@ LL | const extern "C" fn c() {}
222222
| +++++
223223

224224
error: this could be a `const fn`
225-
--> tests/ui/missing_const_for_fn/could_be_const.rs:153:9
225+
--> tests/ui/missing_const_for_fn/could_be_const.rs:158:9
226226
|
227227
LL | extern fn implicit_c() {}
228228
| ^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -233,7 +233,7 @@ LL | const extern fn implicit_c() {}
233233
| +++++
234234

235235
error: this could be a `const fn`
236-
--> tests/ui/missing_const_for_fn/could_be_const.rs:170:9
236+
--> tests/ui/missing_const_for_fn/could_be_const.rs:175:9
237237
|
238238
LL | / pub fn new(strings: Vec<String>) -> Self {
239239
LL | | Self { strings }
@@ -246,7 +246,7 @@ LL | pub const fn new(strings: Vec<String>) -> Self {
246246
| +++++
247247

248248
error: this could be a `const fn`
249-
--> tests/ui/missing_const_for_fn/could_be_const.rs:175:9
249+
--> tests/ui/missing_const_for_fn/could_be_const.rs:180:9
250250
|
251251
LL | / pub fn empty() -> Self {
252252
LL | | Self { strings: Vec::new() }
@@ -259,7 +259,7 @@ LL | pub const fn empty() -> Self {
259259
| +++++
260260

261261
error: this could be a `const fn`
262-
--> tests/ui/missing_const_for_fn/could_be_const.rs:186:9
262+
--> tests/ui/missing_const_for_fn/could_be_const.rs:191:9
263263
|
264264
LL | / pub fn new(text: String) -> Self {
265265
LL | | let vec = Vec::new();
@@ -273,7 +273,7 @@ LL | pub const fn new(text: String) -> Self {
273273
| +++++
274274

275275
error: this could be a `const fn`
276-
--> tests/ui/missing_const_for_fn/could_be_const.rs:205:5
276+
--> tests/ui/missing_const_for_fn/could_be_const.rs:210:5
277277
|
278278
LL | fn alias_ty_is_projection(bar: <() as FooTrait>::Foo) {}
279279
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -284,7 +284,7 @@ LL | const fn alias_ty_is_projection(bar: <() as FooTrait>::Foo) {}
284284
| +++++
285285

286286
error: this could be a `const fn`
287-
--> tests/ui/missing_const_for_fn/could_be_const.rs:209:5
287+
--> tests/ui/missing_const_for_fn/could_be_const.rs:214:5
288288
|
289289
LL | extern "C-unwind" fn c_unwind() {}
290290
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -295,7 +295,7 @@ LL | const extern "C-unwind" fn c_unwind() {}
295295
| +++++
296296

297297
error: this could be a `const fn`
298-
--> tests/ui/missing_const_for_fn/could_be_const.rs:211:5
298+
--> tests/ui/missing_const_for_fn/could_be_const.rs:216:5
299299
|
300300
LL | extern "system" fn system() {}
301301
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -306,7 +306,7 @@ LL | const extern "system" fn system() {}
306306
| +++++
307307

308308
error: this could be a `const fn`
309-
--> tests/ui/missing_const_for_fn/could_be_const.rs:213:5
309+
--> tests/ui/missing_const_for_fn/could_be_const.rs:218:5
310310
|
311311
LL | extern "system-unwind" fn system_unwind() {}
312312
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -317,7 +317,7 @@ LL | const extern "system-unwind" fn system_unwind() {}
317317
| +++++
318318

319319
error: this could be a `const fn`
320-
--> tests/ui/missing_const_for_fn/could_be_const.rs:215:5
320+
--> tests/ui/missing_const_for_fn/could_be_const.rs:220:5
321321
|
322322
LL | pub extern "stdcall" fn std_call() {}
323323
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
@@ -328,7 +328,7 @@ LL | pub const extern "stdcall" fn std_call() {}
328328
| +++++
329329

330330
error: this could be a `const fn`
331-
--> tests/ui/missing_const_for_fn/could_be_const.rs:217:5
331+
--> tests/ui/missing_const_for_fn/could_be_const.rs:222:5
332332
|
333333
LL | pub extern "stdcall-unwind" fn std_call_unwind() {}
334334
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

0 commit comments

Comments
 (0)
Please sign in to comment.