Function modifier_prefix 

pub fn modifier_prefix<'gcx>(
    hir: &'gcx Hir<'gcx>,
    fid: FunctionId,
) -> Option<Vec<&'gcx Stmt<'gcx>>>

The statements a modifier runs before its unique _;, when that placeholder is reached unconditionally. None for non-modifiers, bodiless modifiers and conditional placeholders.