#rust-internals

/

      • lundibundi joined the channel
      • orlp
        eddyb: can you elaborate a bit on 'existential hider'?
      • would it be similar how I can call a.foo() instead of having to write (*a).foo() for references?
      • eddyb
        orlp: -> impl Trait hides some type and only allows Trait's API to be accessed
      • orlp
        right
      • eddyb
        it's weaker than a newtype in the sense that it cannot implement different traits
      • but it is neat because you still get different type-checking
      • and you can use .into() and From::from() to switch between
      • oli_obk_, nmatsakis: oh god if we had a CoerceTo trait and trait CoerceToFrom<Other> = CoerceTo<Other> where Other: CoerceTo<Self>; then you could do -> impl CoerceToFrom<T> to return T *except not exactly*
      • by-value it'd coerce (which is fine because the coercion is a noop *anyway*)
      • but behind references it wouldn't
      • so &T and &that-existential-type would be distinct and uninteroperable
      • this is weird enough to fit in #lyken rather
      • oln joined the channel
      • OmniMancer joined the channel
      • mtak has quit
      • psychoslave joined the channel
      • psychoslave has quit
      • psychoslave_ joined the channel
      • harrisonclarke joined the channel
      • johalun has quit
      • osa1_ joined the channel
      • johalun joined the channel
      • osa1 has quit
      • harrisonclarke has quit
      • osa1_ is now known as
      • Aaronepower joined the channel
      • bemeurer joined the channel
      • eibwen has quit
      • WindowsBunny joined the channel
      • bemeurer has quit
      • WindowsBunny1 joined the channel
      • PeterRabbit has quit
      • PeterRabbit joined the channel
      • WindowsBunny has quit
      • psychoslave_ has quit
      • psychoslave joined the channel
      • eibwen joined the channel
      • lundibundi has quit
      • bemeurer joined the channel
      • pcwalton joined the channel
      • pcwalton has quit
      • vmx joined the channel
      • psychoslave has quit
      • nagisa joined the channel