We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c80459b commit 4b4904aCopy full SHA for 4b4904a
compiler/rustc_middle/src/ty/typeck_results.rs
@@ -206,8 +206,7 @@ pub struct TypeckResults<'tcx> {
206
/// formatting modified file tests/ui/coroutine/retain-resume-ref.rs
207
pub coroutine_stalled_predicates: FxIndexSet<(ty::Predicate<'tcx>, ObligationCause<'tcx>)>,
208
209
- /// Goals proven during HIR typeck which may be potentially region dependent with
210
- /// erased regions.
+ /// Goals proven during HIR typeck which may be potentially region dependent.
211
///
212
/// Borrowck *uniquifies* regions which may cause these goal to be ambiguous in MIR
213
/// type check. We ICE if goals fail in borrowck to detect bugs during MIR building or
0 commit comments