Check impls methods against the type of their iface.

This commit is contained in:
Marijn Haverbeke 2011-12-22 08:45:18 +01:00
parent 057617c665
commit 25e65239ad
5 changed files with 87 additions and 44 deletions

View file

@ -309,7 +309,7 @@ type ty_field_ = {ident: ident, mt: mt};
type ty_field = spanned<ty_field_>;
type ty_method = {ident: ident, decl: fn_decl, span: span};
type ty_method = {ident: ident, decl: fn_decl, tps: [ty_param], span: span};
tag int_ty { ty_i; ty_char; ty_i8; ty_i16; ty_i32; ty_i64; }