Trait vars

[mathstuf]

@JeffG

those Trait vars becomes part of self

I think my questions from the "impl vars" discussion still applies here.

Trait implementation variables - "impl vars"

That's fine, but you'll have to accept that without more details as to what you actually want, this is not happening at all. Indeed. However, any progress on their part is blocked on questions about what you expect to happen in certain cases. If you cannot explain at least what might happen (not even "should") when your proposed idea is used that satisfies your own goals, I don't know how you can expect anyone else to answer them for you. Again, if this is all you do (and somehow this does ge…

If I impl TraitWithVar for Vec<u8>, where does the variable get stored on self? Is Vec<u8> now different for my crate than every other crate? How does this work with Vec::from_raw_parts which would now strip whatever "trait var" are there? What would the default value be? How about Vec::new() too?