pub fn arg_demotion( context: &mut Context<'_>, _: &AnalysisResults, function: Function, ) -> Result<bool, IrError>