given fromNOTHING[T <: DFTypeAny](using dt: DomainType)(using x$2: AssertGiven[(dt.type<:<DF) | (T<:<DFBit) | (T<:<DFType[DFBits, Args]), "`NOTHING` can only be assigned to either `Bits` or `Bit` DFHDL values outside of a dataflow (DF) domain."]): fromNOTHING[T]