clear DefId when an expression's type changes to non-adt

Author: y21

clippy_utils/src/ty/type_certainty/mod.rs

@@ -90,7 +90,7 @@ fn expr_type_certainty(cx: &LateContext<'_>, expr: &Expr<'_>) -> Certainty {
 ifletSome(def_id) = adt_def_id(expr_ty){
  certainty.with_def_id(def_id)
 }else{
- certainty
+ certainty.clear_def_id()
 }
 }
 

tests/ui/crashes/ice-12585.rs

@@ -0,0 +1,26 @@
+#![allow(clippy::unit_arg)]
+
+structOne{
+x:i32,
+}
+structTwo{
+x:i32,
+}
+
+structProduct{}
+
+implProduct{
+pubfna_method(self, _:()){}
+}
+
+fnfrom_array(_:[i32;2]) -> Product{
+todo!()
+}
+
+pubfnmain(){
+let one = One{x:1};
+let two = Two{x:2};
+
+let product = from_array([one.x, two.x]);
+ product.a_method(<()>::default());
+}