Type Alias SimplifiedArguments

pub type SimplifiedArguments<'tcx> = Vec<Option<Place<'tcx>>>;

A simplified version of the argument list that is stored in a TerminatorKind::Call.

The vector contains None in those places where the function is called with a constant. This means it is guaranteed to be as long as the list of formal parameters of this function, which in turn means it can be zipped up with e.g. the types of the arguments of the function definition

Aliased Type

struct SimplifiedArguments<'tcx> { /* private fields */ }