Rintaro Ishizaki eade9b7bc9 [LookupVisibleDecls] Implement shadowing for unqualified lookups ...

Tweaked usable check:
  * Local type/func decls are usable even before declaration
  * Outer nominal Instance member are not usable
  * Type context cannot close over values in outer type contexts

Added shadowing rule by the base name:
  * Type members don't shadow each other as long as they are in the
    same type context.
  * Local values shadow everything in outer scope
    * Except that 'func' decl doesn't shadow 'var' decl if they are in the
      same scope.

rdar://86285396

2022-04-28 16:36:54 -07:00

4.7 KiB

Raw Permalink Blame History

View Raw