mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Match end user facing unmatched backticks in compiler/

Browse Source
This commit is contained in:
est31 2023-03-03 08:38:07 +01:00
parent 13471d3b20
commit ef658907a5
13 changed files with 19 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_borrowck/src/diagnostics/region_errors.rs
View File

@ -949,7 +949,7 @@ impl<'a, 'tcx> MirBorrowckCtxt<'a, 'tcx> {
.push_span_label(*span, "this has an implicit `'static` lifetime requirement"); .push_span_label(*span, "this has an implicit `'static` lifetime requirement");
multi_span.push_span_label( multi_span.push_span_label(
ident.span, ident.span,
"calling this method introduces the `impl`'s 'static` requirement", "calling this method introduces the `impl`'s `'static` requirement",
); );
err.subdiagnostic(RequireStaticErr::UsedImpl { multi_span }); err.subdiagnostic(RequireStaticErr::UsedImpl { multi_span });
err.span_suggestion_verbose( err.span_suggestion_verbose(

2
compiler/rustc_const_eval/src/interpret/intrinsics.rs
View File

@ -457,7 +457,7 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
assert_eq!(input_len, dest_len, "Return vector length must match input length"); assert_eq!(input_len, dest_len, "Return vector length must match input length");
assert!( assert!(
index < dest_len, index < dest_len,
"Index `{}` must be in bounds of vector with length {}`", "Index `{}` must be in bounds of vector with length `{}`",
index, index,
dest_len dest_len
); );

2
compiler/rustc_const_eval/src/transform/check_consts/check.rs
View File

@ -332,7 +332,7 @@ impl<'mir, 'tcx> Checker<'mir, 'tcx> {
fn check_static(&mut self, def_id: DefId, span: Span) { fn check_static(&mut self, def_id: DefId, span: Span) {
if self.tcx.is_thread_local_static(def_id) { if self.tcx.is_thread_local_static(def_id) {
self.tcx.sess.delay_span_bug(span, "tls access is checked in `Rvalue::ThreadLocalRef"); self.tcx.sess.delay_span_bug(span, "tls access is checked in `Rvalue::ThreadLocalRef`");
} }
self.check_op_spanned(ops::StaticAccess, span) self.check_op_spanned(ops::StaticAccess, span)
} }

2
compiler/rustc_data_structures/src/stable_hasher/tests.rs
View File

@ -150,7 +150,7 @@ fn test_isize_compression() {
let hash_b = hash(&(b as isize, a as isize)); let hash_b = hash(&(b as isize, a as isize));
assert_ne!( assert_ne!(
hash_a, hash_b, hash_a, hash_b,
"The hash stayed the same when permuting values `{a}` and `{b}!", "The hash stayed the same when permuting values `{a}` and `{b}`!",
); );
} }

2
compiler/rustc_expand/src/mbe/transcribe.rs
View File

@ -282,7 +282,7 @@ pub(super) fn transcribe<'a>(
} }
// There should be no meta-var declarations in the invocation of a macro. // There should be no meta-var declarations in the invocation of a macro.
mbe::TokenTree::MetaVarDecl(..) => panic!("unexpected `TokenTree::MetaVarDecl"), mbe::TokenTree::MetaVarDecl(..) => panic!("unexpected `TokenTree::MetaVarDecl`"),
} }
} }
} }

8
compiler/rustc_infer/locales/en-US.ftl
View File

@ -79,7 +79,7 @@ infer_subtype = ...so that the {$requirement ->
[if_else_different] `if` and `else` have incompatible types [if_else_different] `if` and `else` have incompatible types
[no_else] `if` missing an `else` returns `()` [no_else] `if` missing an `else` returns `()`
[fn_main_correct_type] `main` function has the correct type [fn_main_correct_type] `main` function has the correct type
[fn_start_correct_type] #[start]` function has the correct type [fn_start_correct_type] `#[start]` function has the correct type
[intristic_correct_type] intrinsic has the correct type [intristic_correct_type] intrinsic has the correct type
[method_correct_type] method receiver has the correct type [method_correct_type] method receiver has the correct type
*[other] types are compatible *[other] types are compatible
@ -92,7 +92,7 @@ infer_subtype_2 = ...so that {$requirement ->
[if_else_different] `if` and `else` have incompatible types [if_else_different] `if` and `else` have incompatible types
[no_else] `if` missing an `else` returns `()` [no_else] `if` missing an `else` returns `()`
[fn_main_correct_type] `main` function has the correct type [fn_main_correct_type] `main` function has the correct type
[fn_start_correct_type] #[start]` function has the correct type [fn_start_correct_type] `#[start]` function has the correct type
[intristic_correct_type] intrinsic has the correct type [intristic_correct_type] intrinsic has the correct type
[method_correct_type] method receiver has the correct type [method_correct_type] method receiver has the correct type
*[other] types are compatible *[other] types are compatible
@ -277,7 +277,7 @@ infer_tid_consider_borrowing = consider borrowing this type parameter in the tra
infer_tid_param_help = the lifetime requirements from the `impl` do not correspond to the requirements in the `trait` infer_tid_param_help = the lifetime requirements from the `impl` do not correspond to the requirements in the `trait`
infer_dtcs_has_lifetime_req_label = this has an implicit `'static` lifetime requirement infer_dtcs_has_lifetime_req_label = this has an implicit `'static` lifetime requirement
infer_dtcs_introduces_requirement = calling this method introduces the `impl`'s 'static` requirement infer_dtcs_introduces_requirement = calling this method introduces the `impl`'s `'static` requirement
infer_dtcs_has_req_note = the used `impl` has a `'static` requirement infer_dtcs_has_req_note = the used `impl` has a `'static` requirement
infer_dtcs_suggestion = consider relaxing the implicit `'static` requirement infer_dtcs_suggestion = consider relaxing the implicit `'static` requirement
@ -313,7 +313,7 @@ infer_but_needs_to_satisfy = {$has_param_name ->
[false] ...and is required to live as long as `'static` here [false] ...and is required to live as long as `'static` here
} }
.used_here = ...is used here... .used_here = ...is used here...
.introduced_by_bound = 'static` lifetime requirement introduced by this bound .introduced_by_bound = `'static` lifetime requirement introduced by this bound
infer_more_targeted = {$has_param_name -> infer_more_targeted = {$has_param_name ->
[true] `{$param_name}` [true] `{$param_name}`

2
compiler/rustc_infer/src/infer/error_reporting/mod.rs
View File

@ -1690,7 +1690,7 @@ impl<'tcx> TypeErrCtxt<'_, 'tcx> {
format!("{name} is defined in the current crate") format!("{name} is defined in the current crate")
} else { } else {
let crate_name = self.tcx.crate_name(defid.krate); let crate_name = self.tcx.crate_name(defid.krate);
format!("{name} is defined in crate `{crate_name}") format!("{name} is defined in crate `{crate_name}`")
}; };
diagnostic.span_note(def_span, msg); diagnostic.span_note(def_span, msg);
}; };

2
compiler/rustc_interface/locales/en-US.ftl
View File

@ -33,7 +33,7 @@ interface_rustc_error_fatal =
fatal error triggered by #[rustc_error] fatal error triggered by #[rustc_error]
interface_rustc_error_unexpected_annotation = interface_rustc_error_unexpected_annotation =
unexpected annotation used with `#[rustc_error(...)]! unexpected annotation used with `#[rustc_error(...)]`!
interface_failed_writing_file = interface_failed_writing_file =
failed to write file {$path}: {$error}" failed to write file {$path}: {$error}"

2
compiler/rustc_middle/src/ty/layout.rs
View File

@ -93,7 +93,7 @@ impl IntegerExt for Integer {
if discr < fit { if discr < fit {
bug!( bug!(
"Integer::repr_discr: `#[repr]` hint too small for \ "Integer::repr_discr: `#[repr]` hint too small for \
discriminant range of enum `{}", discriminant range of enum `{}`",
ty ty
) )
} }

2
compiler/rustc_mir_build/src/build/expr/as_constant.rs
View File

@ -55,7 +55,7 @@ pub fn as_constant_inner<'tcx>(
ConstantKind::Ty(tcx.const_error_with_guaranteed(ty, guar)) ConstantKind::Ty(tcx.const_error_with_guaranteed(ty, guar))
} }
Err(LitToConstError::TypeError) => { Err(LitToConstError::TypeError) => {
bug!("encountered type error in `lit_to_mir_constant") bug!("encountered type error in `lit_to_mir_constant`")
} }
}; };

2
compiler/rustc_session/locales/en-US.ftl
View File

@ -5,7 +5,7 @@ session_incorrect_cgu_reuse_type =
}`{$expected_reuse}` }`{$expected_reuse}`
session_cgu_not_recorded = session_cgu_not_recorded =
CGU-reuse for `{$cgu_user_name}` is (mangled: `{$cgu_name}`) was not recorded` CGU-reuse for `{$cgu_user_name}` is (mangled: `{$cgu_name}`) was not recorded
session_feature_gate_error = {$explain} session_feature_gate_error = {$explain}

2
compiler/rustc_session/src/config.rs
View File

@ -2245,7 +2245,7 @@ pub fn parse_externs(
early_error( early_error(
error_format, error_format,
"the `-Z unstable-options` flag must also be passed to \ "the `-Z unstable-options` flag must also be passed to \
enable `--extern options", enable `--extern` options",
); );
} }
for opt in opts.split(',') { for opt in opts.split(',') {

8
tests/ui/suggestions/impl-on-dyn-trait-with-implicit-static-bound.stderr
View File

@ -17,7 +17,7 @@ note: the used `impl` has a `'static` requirement
LL | impl<T> MyTrait<T> for dyn ObjectTrait<T> { LL | impl<T> MyTrait<T> for dyn ObjectTrait<T> {
| ^^^^^^^^^^^^^^ this has an implicit `'static` lifetime requirement | ^^^^^^^^^^^^^^ this has an implicit `'static` lifetime requirement
LL | fn use_self<K>(&self) -> &() { panic!() } LL | fn use_self<K>(&self) -> &() { panic!() }
| -------- calling this method introduces the `impl`'s 'static` requirement | -------- calling this method introduces the `impl`'s `'static` requirement
help: consider relaxing the implicit `'static` requirement help: consider relaxing the implicit `'static` requirement
| |
LL | impl<T> MyTrait<T> for dyn ObjectTrait<T> + '_ { LL | impl<T> MyTrait<T> for dyn ObjectTrait<T> + '_ {
@ -42,7 +42,7 @@ note: the used `impl` has a `'static` requirement
LL | impl dyn ObjectTrait { LL | impl dyn ObjectTrait {
| ^^^^^^^^^^^ this has an implicit `'static` lifetime requirement | ^^^^^^^^^^^ this has an implicit `'static` lifetime requirement
LL | fn use_self(&self) -> &() { panic!() } LL | fn use_self(&self) -> &() { panic!() }
| -------- calling this method introduces the `impl`'s 'static` requirement | -------- calling this method introduces the `impl`'s `'static` requirement
help: consider relaxing the implicit `'static` requirement help: consider relaxing the implicit `'static` requirement
| |
LL | impl dyn ObjectTrait + '_ { LL | impl dyn ObjectTrait + '_ {
@ -65,7 +65,7 @@ note: the used `impl` has a `'static` requirement
--> $DIR/impl-on-dyn-trait-with-implicit-static-bound.rs:87:26 --> $DIR/impl-on-dyn-trait-with-implicit-static-bound.rs:87:26
| |
LL | fn use_self(&self) -> &() { panic!() } LL | fn use_self(&self) -> &() { panic!() }
| -------- calling this method introduces the `impl`'s 'static` requirement | -------- calling this method introduces the `impl`'s `'static` requirement
... ...
LL | impl MyTrait for dyn ObjectTrait {} LL | impl MyTrait for dyn ObjectTrait {}
| ^^^^^^^^^^^ this has an implicit `'static` lifetime requirement | ^^^^^^^^^^^ this has an implicit `'static` lifetime requirement
@ -91,7 +91,7 @@ note: the used `impl` has a `'static` requirement
--> $DIR/impl-on-dyn-trait-with-implicit-static-bound.rs:106:26 --> $DIR/impl-on-dyn-trait-with-implicit-static-bound.rs:106:26
| |
LL | fn use_self(&self) -> &() { panic!() } LL | fn use_self(&self) -> &() { panic!() }
| -------- calling this method introduces the `impl`'s 'static` requirement | -------- calling this method introduces the `impl`'s `'static` requirement
... ...
LL | impl MyTrait for dyn ObjectTrait {} LL | impl MyTrait for dyn ObjectTrait {}
| ^^^^^^^^^^^ this has an implicit `'static` lifetime requirement | ^^^^^^^^^^^ this has an implicit `'static` lifetime requirement