@@ -265,10 +265,10 @@ elabCon info syn tn codata expkind (doc, argDocs, n, t_in, fc, forcenames)
265265 = tclift $ tfail (At fc (UniqueKindError NullType n))
266266 checkUniqueKind (UType UniqueType) (UType UniqueType) = return ()
267267 checkUniqueKind (UType UniqueType) (UType AllTypes) = return ()
268− checkUniqueKind (UType UniqueType) (TType _)
268+ checkUniqueKind (UType UniqueType) _
269269 = tclift $ tfail (At fc (UniqueKindError UniqueType n))
270270 checkUniqueKind (UType AllTypes) _ = return ()
271− checkUniqueKind (TType _) _ = return ()
271+ checkUniqueKind _ _ = return ()
272272
273273type EliminatorState = StateT (Map.Map String Int) Idris
274274