-- #check_failure should not ignore stuck TC problems.
#check_failure (inferInstance : Inhabited (Nat × _))