Test/fix scoping rules for pattern locals in field/property initializers, parameter default values and attributes.

Fixes #8816.