== Quote from Steven Schveighoffer (schvei...@yahoo.com)'s article > On Mon, 13 Jun 2011 01:09:57 -0400, Steven Schveighoffer > <schvei...@yahoo.com> wrote: > > No. final is not a type constructor, so it does not get carried around > > with the type. > > > > final int i; > > > > assert(typeof(i) == int); // after the declaration, the storage class is > > gone from the type! > > > > int * ip = &i; > Note, you might be able to forbid this line, but I don't think this works > well. > -Steve
I completely realize that final is not a type constructor (I don't want it to be one either), but I'm failing to what that has to do with anything. How does that fact affect my previous answer?