On 03/04/2008, Craig Black <craigblack2 at cox.net> wrote: > If that compiles, I think it may be a bug. Invariant types shouldn't be > implicitly convertible to const. Yes they should. const means "I promise not to modify this". There is absolutely no problem with promising not to modify something which is invariant.