Skip to main content

callable_virtual_impl

charon_driver::translate::translate_closures

Function callable_virtual_impl 

Source 
pub fn callable_virtual_impl<'a, 'tcx>(
    s: &impl BaseState<'tcx>,
    def: &'a FullDef<'tcx>,
    target_kind: ClosureKind,
) -> &'a VirtualTraitImpl<'tcx>
Expand description

The built-in Fn* impl of the given kind that we generate for this closure or function item.