Blog post: Contexts and capabilities in Rust

[atagunov]

Thx, it's making more sense now. One thing still not clear:

@CAD97

any time some T: Trait with(context) type is used for a bound that requires just Trait , it is either ... or shimmed into an opaque (T, context): Trait type with an additional lifetime

How exactly would it work? Box<dyn Trait> is a fat pointer with two parts: vtable and data. Wouldn't the shim need to be a fat pointer with 3 parts? vtable, data and context?