fn analysis(tcx: TyCtxt<'_>, (): ()) -> Result<()>
Runs the type-checking, region checking and other miscellaneous analysis passes on the crate.