type Bar = String // <-- compiler error

class Foo {
  def get: Bar = "hello"
}

class Baz {
  val foo = new FooImpl()
  def bar: Bar = foo.get() // <-- compiler error if type Bar is defined inside of Foo
}