resolution bug repro

Change-Id: Ib0511f5a122e01588b4b9b6ef152b1f271c71b7b