1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/mismatched_types/issue-35030.rs b/src/test/ui/mismatched_types/issue-35030.rs
new file mode 100644
index 000000000..91ea7ea80
--- /dev/null
+++ b/src/test/ui/mismatched_types/issue-35030.rs
@@ -0,0 +1,15 @@
+#![allow(non_camel_case_types)]
+
+trait Parser<T> {
+    fn parse(text: &str) -> Option<T>;
+}
+
+impl<bool> Parser<bool> for bool {
+    fn parse(text: &str) -> Option<bool> {
+        Some(true) //~ ERROR mismatched types
+    }
+}
+
+fn main() {
+    println!("{}", bool::parse("ok").unwrap_or(false));
+}