Make unimplemented match variants explicit

Ameobea · Ameobea · commit 13bdadb515fa · 2020-10-06T23:56:31.000-07:00
diff --git a/crates/hir_ty/src/traits/chalk/mapping.rs b/crates/hir_ty/src/traits/chalk/mapping.rs
@@ -399,7 +399,8 @@ impl ToChalk for TypeCtor {
                 // this should not be reached, since we don't represent TypeName::Error with TypeCtor
                 unreachable!()
             }
-            _ => unimplemented!(), // FIXME
+            TypeName::Generator(_) => unimplemented!(), // FIXME
+            TypeName::GeneratorWitness(_) => unimplemented!(), // FIXME
         }
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -399,7 +399,8 @@ impl ToChalk for TypeCtor {`
`399`	`399`	`// this should not be reached, since we don't represent TypeName::Error with TypeCtor`
`400`	`400`	`unreachable!()`
`401`	`401`	`}`
`402`		`- _ => unimplemented!(), // FIXME`
	`402`	`+ TypeName::Generator(_) => unimplemented!(), // FIXME`
	`403`	`+ TypeName::GeneratorWitness(_) => unimplemented!(), // FIXME`
`403`	`404`	`}`
`404`	`405`	`}`
`405`	`406`	`}`