pub fn add_constraints_from_crate<'a, 'tcx>(
    terms_cx: TermsContext<'a, 'tcx>
) -> ConstraintContext<'a, 'tcx>