error[E0308]: mismatched types --> $DIR/issue-35030.rs:19:14 | 19 | Some(true) | ^^^^ expected type parameter, found bool | = note: expected type `bool` (type parameter) = note: found type `bool` (bool) error: aborting due to previous error