Auto-include propagates correctly #7680

Merged
merged 2 commits into from Mar 20, 2017