#[contracts::requires(...)] + #[contracts::ensures(...)] #148127
Annotations
8 errors
|
run the build
this file contains an unclosed delimiter
|
|
run the build
lifetimes cannot start with a number
|
|
run the build
this file contains an unclosed delimiter
|
|
run the build
unexpected closing delimiter: `}`
|
|
run the build
unexpected closing delimiter: `}`
|
|
run the build
missing type for `static` item
|
|
run the build
unexpected `if` in the condition expression
|
|
run the build
mismatched closing delimiter: `}`
|
Loading