[vzaliva]

This is yet another variant of the "fat pointers" technique, which has been implemented and rejected many times due to either insufficient security guarantees, inability to cross non-fat ABI boundaries, or the overhead it introduces.

[fooker]

There’s a new wave of hardware supporting fat pointers natively, so you are perhaps dismissing it too early.

Also filc isn’t just fat pointers.

[vzaliva]

Hardware-supported capability-based architectures like CHERI are great. I am lilttle skeptical about adpotion prospects of software-only implementation of fat pointers for languages like C and C++.

[pjmlp]

Hardware memory tagging has been available in several platforms now.