id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
37	Fix closure trimming of data types containing functions.	benl		"When trimming a closure term containing:

{{{
 x : Thing a0 a1 %r2
}}}

We don't know whether or not to keep %r2, without looking at the definition. Don't know if (Thing a0 a1 %r2) actually contains a region %r2

{{{
data Thing a a1 %r2
  = C1 (Int %r2 -> Int %r2)   -- nope
  | C2 (Int %r2)              -- yep
}}}

We should attach definitions to type constructors so we have this information at trimming time.

"	defect	new	normal		Source Type Inferencer