1export_file(
2    name = "lint.rs",
3    src = "lint.rs",
4    visibility = ["PUBLIC"],
5)