Commit graph

1 commit

Author SHA1 Message Date
zah
6e358e3187 don't allow casting to non-concrete types; fixes #5428 (#5502) 2017-03-12 09:27:05 +01:00