Function check_program_located 

pub fn check_program_located(
    stmts: &[Stmt<'_>],
    interner: &Interner,
    registry: &TypeRegistry,
) -> Result<TypeEnv, LocatedTypeError>

check_program, reporting which top-level function a failure is in.