id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
48	ttype assertion resolution is too strict	Rob Schluntz	Rob Schluntz	"Assertions on ttype variables are currently too strict with regards to qualifiers.
{{{
forall(ttype T | { void foo(T); }) void bar(T x);
void foo(int);

int main() {
  const int x;
  bar(x);
}
}}}
T binds to [int], and there is no `void foo(const int)` in scope. Notably, using dtype instead of ttype works in the above example, so it is not a general assertion inference problem.

Adding `void foo(const int);` or casting `(int)x` are temporary workarounds."	defect	closed	major	cfa-cc	1.0	fixed