diff --git a/src/main/scala/inox/ast/Expressions.scala b/src/main/scala/inox/ast/Expressions.scala
index 311a5c339..8b3ce2f2f 100644
--- 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
     }