Require destruct instead of drop for unwrapping.

[ilyalesokhin-starkware]

This change is 

[orizi]

Reviewed 1 of 3 files at r1, all commit messages.
Reviewable status: 1 of 3 files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware)

---

corelib/src/result.cairo line 15 at r1 (raw file):

pub impl ResultTraitImpl<T, E> of ResultTrait<T, E> {
    /// If `val` is `Result::Ok(x)`, returns `x`. Otherwise, panics with `err`.
    fn expect<+Destruct<E>>(self: Result<T, E>, err: felt252) -> T {

probably - and probably everywhere that panics elsewhere.

Suggestion:

    fn expect<+PanicDestruct<E>>(self: Result<T, E>, err: felt252) -> T {

[orizi]

Reviewed 1 of 3 files at r1, 1 of 1 files at r2, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @ilyalesokhin-starkware)

[ilyalesokhin-starkware]

corelib/src/result.cairo line 15 at r1 (raw file):

Previously, orizi wrote…

probably - and probably everywhere that panics elsewhere.

Done