Merge pull request #405 from SkySkimmer/compat20

Fix test

Author: gares

tests/infer.v

@@ -16,8 +16,7 @@ HB.mixin Record barm (A : Type) (P : foo.type) (B: Type) (T : Type) := {
 #[infer(P)]
 HB.structure Definition bar A P B := { T of barm A P B T }.
 
-#[skip="8.1[0-5].*"] HB.check (bar.type_ bool nat bool).
-#[skip="8.1[6-9].*", fail] HB.check (bar.type_ bool nat bool).
+HB.check (bar.type_ bool nat bool).
 Print bar.phant_type.
 Print bar.type.
 Check bar.type bool nat bool.