Function package_tyck_scope 

pub fn package_tyck_scope(
    ctx: &mut LocalContext,
    spec: &PackageInfo,
    options: PackageTyckDumpOptions,
) -> StrResult<PackageTyckDump>

Dumps package scopes together with type-checker results.