id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
191	Resolve For Assertions/Traits	ajbeach		"I would like to add an extra argument to the resolver's `findSingleExpression` or to add a similar function that has a similar role but makes sure the result time satisfies a given trait.

As we take advantage of the trait system there are now language constructs that allow any type given that it satisfies some assertions (usually expressed as a built in trait). Although it can resolve these conditions in code there does not appear to be a way to do it from a keyword. If there is there is some code that should be updated.

I have run into this when creating `throw` and `throwResume` implementations and it has forced me to split up some passes into a pre- and a post-resolver component. I believe `suspend` also has some issue.

So far this hasn't actually prevented anything from working. If you add the right pre-resolver pass that converts things to functions you can still get it to work. However I believe this would simplify implementing language syntax that connects to traits."	enhancement	new	minor	cfa-cc	1.0