"""
Used to cause false compilation error:
	The type or namespace "A" could not be found.
Problem was that the code gen for inlining invariants referred to:
	typeof(A)
Instead of:
	typeof(global::Foo.A)
"""

namespace Foo


class A

	invariant
		.isSomething
	
	pro isSomething from var as bool


namespace Baz

use Foo


class B inherits A

	pass


class P

	def main
		pass