fn get_fn_inputs_and_outputs<'tcx>(
    func: &Function,
    tcx: TyCtxt<'tcx>,
    cache: &Cache
) -> (Vec<TypeWithKind>, Vec<TypeWithKind>)
Expand description

Return the full list of types when bounds have been resolved.

i.e. fn foo<A: Display, B: Option<A>>(x: u32, y: B) will return [u32, Display, Option].