When proving WellFormedTraitRef, require the parameters to be well-formed #512
matthewwAnnotations
5 errors
|
rust-test (macos-latest)
The process '/Users/runner/.cargo/bin/cargo' failed with exit code 1
|
|
rust-test (ubuntu-latest)
The job was canceled because "macos-latest" failed.
|
|
rust-test (ubuntu-latest)
The operation was canceled.
|
|
rust-test (windows-latest)
The job was canceled because "macos-latest" failed.
|
|
rust-test (windows-latest)
The operation was canceled.
|