continue coherence work #437
Annotations
2 errors and 2 warnings
|
|
|
|
|
crates/formality-check/src/lib.rs#L6
unused import: `Bias`
|
|
crates/formality-check/src/lib.rs#L11
unused import: `Substitution`
|
The logs for this run have expired and are no longer available.
Loading