make Type{e} the default element type whenever e isa Type
#14
Triggered via issue
September 19, 2025 10:53
codecov[bot]
Status
Skipped
Total duration
1s
Artifacts
–