pub fn inject(
    krate: Crate,
    resolver: &mut dyn ResolverExpand,
    sess: &Session
) -> Crate