missing info when detecting invalid type during concretization

[eriksvedang]

See ./test/test-for-errors/ref-as-member.carp, the error becomes:

I can’t use the type `(Ref Int <t2>)` as a member type at no info.