Improve documentation and simplify `Is_Inherently_Limited_Type` in Ada
This commit improves documentation and simplifies the `Is_Inherently_Limited_Type` function by leveraging `Is_Immutably_Limited_Type`.
This commit improves the documentation comments for Is_Immutably_Limited_Type and Is_Inherently_Limited_Type. It also simplifies the implementation of Is_Inherently_Limited_Type by calling Is_Immutably_Limited_Type, reducing code duplication and improving maintainability.
In Details
The change refactors sem_aux.adb and sem_aux.ads to improve documentation and simplify the implementation of Is_Inherently_Limited_Type. This function determines if a type is inherently limited, meaning it cannot be copied or assigned. The refactoring replaces inline code with a call to Is_Immutably_Limited_Type.
For Context
In Ada, a 'limited type' is a type that cannot be copied or assigned directly. This commit focuses on two functions related to determining if a type is limited: Is_Inherently_Limited_Type and Is_Immutably_Limited_Type. The change simplifies the code by having Is_Inherently_Limited_Type reuse the logic of Is_Immutably_Limited_Type, making the code easier to understand and maintain.