track adt variant and field names do not conflict #458
Annotations
4 errors and 4 warnings
|
|
|
crates/formality-check/src/adts.rs#L14
`CoreBinder<FormalityLang, AdtBoundData>` is not an iterator
|
|
|
|
|
|
crates/formality-core/src/collections.rs#L62
method `with_pushed` is never used
|
|
crates/formality-core/src/parse/parser/left_recursion.rs#L100
ambiguous wide pointer comparison, the comparison includes metadata which may not be expected
|
|
crates/formality-core/src/parse/parser/left_recursion.rs#L155
ambiguous wide pointer comparison, the comparison includes metadata which may not be expected
|
|
|
This job failed
Loading