IFC traits do not note whether there should be one trait per DeclIndex or (potentially) multiple traits per DeclIndex. This should be clarified (ideally per trait, e.g., function definitions it doesn't make sense to have multiple traits, attributes there is an argument for, though this is redundant with the attribute tuple).
IFC traits do not note whether there should be one trait per DeclIndex or (potentially) multiple traits per DeclIndex. This should be clarified (ideally per trait, e.g., function definitions it doesn't make sense to have multiple traits, attributes there is an argument for, though this is redundant with the attribute tuple).