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 cde1c34 commit 5ea7e87Copy full SHA for 5ea7e87
crates/formality-check/src/mini_rust_check.rs
@@ -283,7 +283,7 @@ impl Check<'_> {
283
Field(field_projection) => {
284
let ty = self.check_place(env, &field_projection.root).unwrap();
285
286
- // FIXME(tiif): We eventuallyw ant to do normalization here, so check_place should eventually be
+ // FIXME(tiif): We eventually want to do normalization here, so check_place should be
287
// a judgment fn.
288
let Some(adt_id) = ty.get_adt_id() else {
289
bail!("The local used for field projection is not adt.")
0 commit comments