Requirement "Name_resolution LRM.Sufficiently_Distinct" not met

the following requirement is not met

Lines 1829 to 1836 in adc0cf4

    
           Name_Resolution Sufficiently_Distinct { 
        
             text = '''When declaring record objects there are wider rules that 
        
                       indicate name clashes. Specifically a record 
        
                       may not be declared if its "simplified name" 
        
                       clashes with any other "simplified name". A 
        
                       "simplified name" is the name converted to 
        
                       lowercase and all underscored removed.''' 
        
           }

either remove the requirement from the LRM or implement the missing feature

Good catch, I think. I could have sworn this is implemented but the logical place for it would be in the symbol table. However it is not.

@phiwuu I think two options make sense:

(my preferred) broaden this to cover any and all names, so it would also cover type names, enumeration literals, record fields, etc.
remove it

Just doing this for record objects like the manual currently says is both inconsistent and annoying to implement. Do you have a preference?

	Name_Resolution Sufficiently_Distinct {
	text = '''When declaring record objects there are wider rules that
	indicate name clashes. Specifically a record
	may not be declared if its "simplified name"
	clashes with any other "simplified name". A
	"simplified name" is the name converted to
	lowercase and all underscored removed.'''
	}