Slightly improve missing property errors#28298

Merged

weswigham merged 8 commits intomicrosoft:masterfrom

weswigham:better-missing-properties-error

Nov 12, 2018

Commits on Nov 1, 2018

Commits on Nov 2, 2018

Commits on Nov 6, 2018

Adjust error message
weswigham
committed

Commits on Nov 9, 2018

Only skip top elaboration when no variant message is provided
weswigham
committed