diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-06-15 09:41:14 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-07-07 13:13:18 +0000 |
| commit | 4c99872efe97c8e6183dfc9b729bc3a2903ac40b (patch) | |
| tree | 99a7f59f160ba538e25b6647047cfec77998c8b0 /compiler/rustc_hir_analysis/src/errors.rs | |
| parent | 921f669749a57ab5936721fdd93b2da57b581381 (diff) | |
| download | rust-4c99872efe97c8e6183dfc9b729bc3a2903ac40b.tar.gz rust-4c99872efe97c8e6183dfc9b729bc3a2903ac40b.zip | |
Require TAITs to be mentioned in the signatures of functions that register hidden types for them
Diffstat (limited to 'compiler/rustc_hir_analysis/src/errors.rs')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/errors.rs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/compiler/rustc_hir_analysis/src/errors.rs b/compiler/rustc_hir_analysis/src/errors.rs index 205e26d0eda..c2d2e5f7e50 100644 --- a/compiler/rustc_hir_analysis/src/errors.rs +++ b/compiler/rustc_hir_analysis/src/errors.rs @@ -184,6 +184,16 @@ pub struct UnconstrainedOpaqueType { pub what: &'static str, } +#[derive(Diagnostic)] +#[diag(hir_analysis_tait_forward_compat)] +#[note] +pub struct TaitForwardCompat { + #[primary_span] + pub span: Span, + #[note] + pub item_span: Span, +} + pub struct MissingTypeParams { pub span: Span, pub def_span: Span, |