Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/repeat/./tests/lean/structDefValueOverride.lean.expected.out
blob: 2ad385abde6e88a55122346ac907f6649bfaf4ab [file] [edit]
structDefValueOverride.lean:6:2-6:3: error: field 'x' new default value has already been set