@@ -145,3 +145,4 @@ warnDisamb ist (PNoImplicits tm) = warnDisamb ist tm
145warnDisamb ist (PQuasiquote tm goal) = warnDisamb ist tm >>
145warnDisamb ist (PQuasiquote tm goal) = warnDisamb ist tm >>
146 Foldable.mapM_ (warnDisamb ist) goal
146 Foldable.mapM_ (warnDisamb ist) goal
147warnDisamb ist (PUnquote tm) = warnDisamb ist tm
147warnDisamb ist (PUnquote tm) = warnDisamb ist tm
148+warnDisamb ist (PAs _ _ tm) = warnDisamb ist tm