pub fn const_witness<'c>(
context: &'c Context,
result: Type<'c>,
passing: Attribute<'c>,
location: Location<'c>
) -> ConstWitnessOperation<'c>
Expand description
Creates a const_witness
operation.
pub fn const_witness<'c>(
context: &'c Context,
result: Type<'c>,
passing: Attribute<'c>,
location: Location<'c>
) -> ConstWitnessOperation<'c>
Creates a const_witness
operation.