Function check 

pub(super) fn check(ctx: &FileContext<'_>) -> Vec<Box<dyn RuleViolation>>