Use yield with scope in bootstrap type inference specs