Let's see what those opaque types actually are

This commit is contained in:
Michael Goulet 2023-10-04 23:08:05 +00:00
parent fd92bc6021
commit a387a3cf9d
11 changed files with 76 additions and 8 deletions

View file

@ -467,6 +467,14 @@ pub(crate) struct VariancesOf {
pub variances_of: String,
}
#[derive(Diagnostic)]
#[diag(hir_analysis_type_of)]
pub(crate) struct TypeOf<'tcx> {
#[primary_span]
pub span: Span,
pub type_of: Ty<'tcx>,
}
#[derive(Diagnostic)]
#[diag(hir_analysis_pass_to_variadic_function, code = "E0617")]
pub(crate) struct PassToVariadicFunction<'tcx, 'a> {