fix an invariance bug in `limit_type_depth`. part of #23786#23800

Merged

JeffBezanson merged 1 commit intomasterfrom jb/fix23786

Sep 21, 2017

+15-3

Commits on Sep 20, 2017

fix an invariance bug in limit_type_depth. part of #23786
JeffBezanson
committed