As addressed in #1673, parameter properties with binding patterns should not be allowed, and the spec needs to reflect this.