[Issue 8138] Attribute inference fails with Voldemort type

d-bugmail at puremagic.com d-bugmail at puremagic.com
Mon Jun 10 14:48:35 PDT 2013


http://d.puremagic.com/issues/show_bug.cgi?id=8138



--- Comment #3 from Jonathan M Davis <jmdavisProg at gmx.com> 2013-06-10 14:48:34 PDT ---
@safe, pure and nothrow are supposed to be inferred on all templates, so if
they're not inferred for Voldemort types, and they're templated (as they
usually are), then it's definitely a bug (and I think that there's at least one
open bug on that, but I'm not sure).

But reading over this bug report, I'm not quite sure what I was thinking when I
wrote it. const is _never_ inferred. Issue# 8407 is an enhancement for that
which might solve this problem, but from what I can tell, there is no bug in
dmd here. Either filter needs to be improved via static ifs, or we need
something like issue# 8407 to be implemented in order to fix the problem that's
occuring here, but I don't think that there's an actual compiler bug, and I
don't know why I thought that there was at the time that I reported it.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------


More information about the Digitalmars-d-bugs mailing list