------- Additional Comments From boris at kolpackov dot net 2005-05-03 08:43 ------- Not that I think you will change your mind, just for the record...
'S' was explicitly disambiguated in 'M' with 'typedef S1 S'. For that reason reference to 'S' within 'M' is not ambiguous. It seems logical that such explicit disambiguation should still be in effect in 'K'. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21205