scope resolver test
infer fixes (nulls)