Add type widening for ADT constructor lookup

epfl-lara · Mar 13, 2018 · e701e01 · e701e01
1 parent 135d04b
commit e701e01
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/inox/ast/Expressions.scala b/src/main/scala/inox/ast/Expressions.scala
@@ -292,7 +292,7 @@ trait Expressions { self: Trees =>
   sealed case class ADTSelector(adt: Expr, selector: Identifier) extends Expr with CachingTyped {
 
     def constructor(implicit s: Symbols) = {
-      val tpe = adt.getType.asInstanceOf[ADTType]
+      val tpe = s.widen(adt.getType).asInstanceOf[ADTType]
       tpe.getSort.constructors.find(_.fields.exists(_.id == selector)).get
     }