Is the former different from a hypothetical Result::Err type (I don't know if yo... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

bonzini on Dec 24, 2024 | parent | context | favorite | on: What would it take to add refinement types to Rust...

Is the former different from a hypothetical Result::Err type (I don't know if you'd spell that Result::Err<T> or Result::<T>::Err)?

n_plus_1_acc on Dec 24, 2024 | [–]

Different solutions to the same problem. Pattern types are more general than enum variant types.

JoshTriplett on Dec 24, 2024 | [–]

Same concept, but generalized to any type, not just enums.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact