fn attained<'a>( working: &'a WorkingSet, student_number: &str, course_code: &str, ) -> Vec<&'a MockAttainment>