On Fri, Jan 10, 2025 at 3:16 PM Ehsan Amiri wrote:
>
> It may make sense to have a mechanism to provide such
> information to the compiler (for example, a class implements
> a vector-like data structure. Certain functions of the class will
> add/remove elements or reallocate memory, etc.).


I'm pretty clueless about this stuff . . . but are you saying we'd
write a class something like as follows?

template<typename T>
class MyVector [[classtype=container]] {
public:
    void emplace_back(T const &) [[container_add, might_realloc]]
    {
        . . .
    }
};