We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent d125446 commit be73c39Copy full SHA for be73c39
compiler/rustc_next_trait_solver/src/solve/normalizes_to/inherent.rs
@@ -39,7 +39,7 @@ where
39
//
40
// FIXME(-Znext-solver=coinductive): I think this should be split
41
// and we tag the impl bounds with `GoalSource::ImplWhereBound`?
42
- // Right not this includes both the impl and the assoc item where bounds,
+ // Right now this includes both the impl and the assoc item where bounds,
43
// and I don't think the assoc item where-bounds are allowed to be coinductive.
44
self.add_goals(
45
GoalSource::Misc,
0 commit comments