Checked property redeclaration behaviuor