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 367eb05 commit a8f4c7dCopy full SHA for a8f4c7d
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