When proving WellFormedTraitRef, require the parameters to be well-formed #513
Annotations
5 warnings
|
Run cargo test --all-targets:
src/lib.rs#L4
unused `#[macro_use]` import
|
|
Run cargo test --all-targets
`a-mir-formality` (lib) generated 1 warning
|
|
Run cargo test --all-targets
`a-mir-formality` (lib test) generated 1 warning (1 duplicate)
|
|
Run cargo test --all:
src/lib.rs#L4
unused `#[macro_use]` import
|
|
Run cargo test --all
`a-mir-formality` (lib) generated 1 warning
|
Loading