Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/replace/./tests/lean/641.lean.expected.out
blob: b302a8efc11a68891bdb811280fdb2ffbf9b6515 [file] [edit]
def y : Unit :=
Foo.x
641.lean:9:17-9:18: error: ambiguous, possible interpretations
Bar.x : Unit
Foo.x : Unit
def Rig.x : Nat :=
_root_.x