//! Trait that defines general injection behaviour
usecrate::ir::id::LocalID;usecrate::DataType;pubtraitAddLocal{/// Adds a local and in the current function and returns its ID
/// note: the implementors of this trait will keep track of the location,
/// i.e. which function, where this local is added
fnadd_local(&mutself, ty: DataType)-> LocalID;}