protected.lean:10:7-10:8: error(lean.unknownIdentifier): Unknown identifier `x`
Foo.x : Nat
Bla.Foo.y : Nat
protected.lean:22:7-22:8: error(lean.unknownIdentifier): Unknown identifier `y`
Bla.Foo.z : Nat
protected.lean:25:14-25:15: error: protected declarations must be in a namespace
protected.lean:28:14-28:15: error(lean.unknownIdentifier): Unknown identifier `f`
8
protected.lean:38:14-38:15: error(lean.unknownIdentifier): Unknown identifier `g`
protected.lean:47:6-47:7: error(lean.unknownIdentifier): Unknown identifier `g`
8