Can't initialize a structural typed variable

[etierney]

This code:

type A = { i:int };
var p : A = {i:5}:A;

produces an EvalError?:

**ERROR** EvalError?: typecheck failed, val=obj type={i: [ns intrinsic]::int } wanted={i: [ns intrinsic]::int } (near builtins/Object.es:65.27-65.28)

Which seems to be saying that the actual and expected types are the same, so the typecheck probably shouldn't have failed.

[brendan]

Still failing with the latest (type closure branch landed) RI.

/be

[graydon]

Fixed in revision bc2eed...