Merge master to release/dev16.2#6852

Merged

3 commits merged intorelease/dev16.2from

merges/master-to-release/dev16.2

May 25, 2019

Commits on May 24, 2019

Fix unused opens false positive for record fields (#6846)

auduchinok
authored and
TIHan
committed
add CI leg to verify assemblies aren't unnecessarily being rebuilt (#6816)
brettfo
authored
Removing option from Tuple active pattern (#6772)

fangyi-zhou
authored and
KevinRansom
committed