(*--------------------------------------------------------------------------- Copyright (c) 2025 Anil Madhavapeddy . All rights reserved. SPDX-License-Identifier: MIT ---------------------------------------------------------------------------*) (** Source element context validation checker. This checker validates that [] element attributes are appropriate for the parent context. The allowed attributes differ based on whether the source is inside [], [