pub fn block_path_to_ty(bpath: &BlockPath, span: Span) -> TypePath