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

Use DefineOpaqueTypes::Yes in diagnostics code

Browse Source
This commit is contained in:
Oli Scherer 2024-02-21 10:38:54 +00:00
parent 29fe618f75
commit b54d72264a
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs
View File

@ -3842,7 +3842,9 @@ fn note_function_argument_obligation<G: EmissionGuarantee>(
self.probe(|_| { self.probe(|_| {
match self match self
.at(&ObligationCause::misc(expr.span, body_id), param_env) .at(&ObligationCause::misc(expr.span, body_id), param_env)
.eq(DefineOpaqueTypes::No, expected, actual) // Doesn't actually matter if we define opaque types here, this is just used for
// diagnostics, and the result is never kept around.
.eq(DefineOpaqueTypes::Yes, expected, actual)
{ {
Ok(_) => (), // We ignore nested obligations here for now. Ok(_) => (), // We ignore nested obligations here for now.
Err(err) => type_diffs.push(err), Err(err) => type_diffs.push(err),