Function build_type_atom 

fn build_type_atom<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    entry: &JsonProperty,
    self_ty: Ty<'tcx>,
) -> Option<Property<'tcx>>

Build a single type-level obligation from a std-trait-ensures.json entry, substituting ty:Self with self_ty. Supports the any disjunction and falls back to named compound properties (expand_compound) for tags that are not built-in primitives.