summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
57a6c0f)
Signed-off-by: Jean Privat <jean@pryen.org>
return _module.class_by_name(once ("String".to_symbol)).get_type
end
return _module.class_by_name(once ("String".to_symbol)).get_type
end
- # The primitive type Collection[Object]
+ # The primitive type Collection[nullable Object]
meth type_collection: MMType
do
meth type_collection: MMType
do
- return _module.class_by_name(once ("Collection".to_symbol)).get_type
+ return _module.class_by_name(once ("Collection".to_symbol)).get_instantiate_type([type_object.as_nullable])
end
# The primitive type Array[?]
end
# The primitive type Array[?]
-./error_for_coll.nit:17,10--10: Type error: expected Collection[E], got Int
+./error_for_coll.nit:17,10--10: Type error: expected Collection[nullable Object], got Int