* Add types size check in code gen Resolves #932 * Add more useful message for mismatched generics lookup * Add tests * Style