Fin

creusot_contracts::logic::ops

Trait Fin

pub trait Fin {
    type Target: ?Sized;

    // Required method
    fn fin<'a>(self) -> &'a Self::Target;
}

Required Associated Types§

type Target: ?Sized

Required Methods§

fn fin<'a>(self) -> &'a Self::Target

Allows overloading of the ^ operator.

(prophetic) ^⚠

Implementations on Foreign Types§

impl<T: ?Sized> Fin for &mut T

fn fin<'a>(self) -> &'a T

(prophetic) ^⚠

type Target = T

Implementors§

impl<T: ?Sized + Fin> Fin for Ghost<T>

type Target = <T as Fin>::Target

impl<T: ?Sized + Fin> Fin for Snapshot<T>

type Target = <T as Fin>::Target