getImpossibleTerm : Ref Ctxt Defs => Ref Syn SyntaxInfo => Env Term vars -> NestedNames vars -> RawImp -> Core ClosedTerm