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


            
            emptyc.lean:19:0-19:2: error: ambiguous, possible interpretations

            
              ∅ : A


              { x := 0 } : A
	emptyc.lean:19:0-19:2: error: ambiguous, possible interpretations
	∅ : A

	{ x := 0 } : A