After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 626778 - Type checking for generics is too liberal
Type checking for generics is too liberal
Status: RESOLVED DUPLICATE of bug 615830
Product: vala
Classification: Core
Component: general
unspecified
Other All
: Urgent blocker
: ---
Assigned To: Vala maintainers
Vala maintainers
wrong-code test-case
Depends on:
Blocks:
 
 
Reported: 2010-08-12 20:42 UTC by zarevucky.jiri
Modified: 2010-08-12 20:55 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
a testcase (316 bytes, text/x-vala)
2010-08-12 20:42 UTC, zarevucky.jiri 		Details

Description zarevucky.jiri 2010-08-12 20:42:22 UTC 
Created attachment 167774 [details]
a testcase

The attached test-case, apart from containing way too many words "test", segfaults.

The reason is that valac doesn't complain about passing Class<SomeClass> where Class<Object> is expected (or similarly any "safely-looking" parent class). The result is that the method may pass some other descendant of Object where SomeClass is expected, leading to a crash.
Comment 1 zarevucky.jiri 2010-08-12 20:52:52 UTC 

*** This bug has been marked as a duplicate of bug 615830 ***