Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/4452.lean.expected.out
blob: b23f7d3f53c65b69348fec115df999d0b39291ed [file] [edit]
4452.lean:17:4-17:6: warning: `hi` has been deprecated
4452.lean:28:4-28:7: warning: `hi'` has been deprecated