Agda-2.3.2.2: test/fail/Issue478c.err
Issue478c.agda:9,12-15 Set₁ !=< Ko.T ko of type Set₂ when checking that the expression Set has type Ko.T ko
Issue478c.agda:9,12-15 Set₁ !=< Ko.T ko of type Set₂ when checking that the expression Set has type Ko.T ko