/// Every witness is a type specialization of this function
/// The function itself should be a runtime no op
/// Witnesses eliminate ambiguity in internally polymorphic functions, this
/// witness is useless as it removes no ambiguity
/// When rust gets higher order types we can remove this function
// Potentially if we turned this into a 4 arity function we could entirely do
// away with the NewType, it would certainly make the type signatures simpler
Every witness is a type specialization of this function
The function itself should be a runtime no op
Witnesses eliminate ambiguity in internally polymorphic functions, this
witness is useless as it removes no ambiguity
When rust gets higher order types we can remove this function
Potentially if we turned this into a 4 arity function we could entirely do
away with the NewType, it would certainly make the type signatures simpler
Every witness is a type specialization of this function The function itself should be a runtime no op Witnesses eliminate ambiguity in internally polymorphic functions this witness is useless as it removes no ambiguity When rust gets higher order types we can remove this function Potentially if we turned this into a 4 arity function we could entirely do away with the NewType it would certainly make the type signatures simpler
pub fn witness<ReturnType: NewType, Payload: NewType>(
    rt: ReturnType,
    payload: Payload::Inner,
) -> (ReturnType::Inner, Payload) {
    (rt.into_inner(), Payload::from_inner(payload))
}
pub fn witness < ReturnType : NewType , Payload : NewType > ( rt : ReturnType , payload : Payload :: Inner , ) -> ( ReturnType :: Inner , Payload ) { ( rt . into_inner ( ) , Payload :: from_inner ( payload ) ) }
Every witness is a type specialization of this function
The function itself should be a runtime no op
Witnesses eliminate ambiguity in internally polymorphic functions, this
witness is useless as it removes no ambiguity
When rust gets higher order types we can remove this function
Potentially if we turned this into a 4 arity function we could entirely do
away with the NewType, it would certainly make the type signatures simpler
Every witness is a type specialization of this function The function itself should be a runtime no op Witnesses eliminate ambiguity in internally polymorphic functions this witness is useless as it removes no ambiguity When rust gets higher order types we can remove this function Potentially if we turned this into a 4 arity function we could entirely do away with the NewType it would certainly make the type signatures simpler
rt
ReturnType
payload
Payload::Inner