id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
34,Check inferred type against signatures.,benl,,"
As we add sig types to the graph, we'll get a type error if part of it can't be unified with the inferred type. However, we don't currently check that the inferred types effect, closure and constraints is <: the signature. Want sigs to be instantiatable from the inferred type.

Also want to have partial sigs. Maybe we need a different syntax compared with :: sigs. eg:

{{{
fun <: a -(!Console)> b 
}}}",enhancement,new,blocker,0.1.4,Source Type Inferencer,,,,