tests/ui/contracts/empty-requires.stderr - rust-lang/rust - Git at Google

 error[E0308]: mismatched types
   --> $DIR/empty-requires.rs:9:1
    |
 LL | #[requires()]
    | ^^^^^^^^^^^^^ expected `bool`, found `()`

 error: aborting due to 1 previous error

 For more information about this error, try `rustc --explain E0308`.
	error[E0308]: mismatched types
	--> $DIR/empty-requires.rs:9:1
	\|
	LL \| #[requires()]
	\| ^^^^^^^^^^^^^ expected `bool`, found `()`

	error: aborting due to 1 previous error

	For more information about this error, try `rustc --explain E0308`.