master
7902290: introduce error state of @requires properties
7903317: Fix code to compile extra property definitions