tests/lean/353.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            353.lean:13:26-13:50: error: typeclass instance problem is stuck, it is often due to metavariables

            
              Arr.{?u, ?u + 1} (@?m a₁ a₂) (Sort ?u)
	353.lean:13:26-13:50: error: typeclass instance problem is stuck, it is often due to metavariables
	Arr.{?u, ?u + 1} (@?m a₁ a₂) (Sort ?u)