fixed scoped inference