Function check_record 

pub fn check_record(
    input: ResolvedCommons,
    refs: &mut RefSink,
    hints: &mut HintSink,
    locals: &mut LocalsSink,
    requirements: &mut RequirementSink,
) -> RecordCheck

check, recording binding edges into refs at the checker’s resolution sites (v0.25). A fresh sink records nothing.