Remove `{Type}Of` type alias from `#[cgp_type]` #212

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

soareschen merged 1 commit into main from remove-type-of

Feb 27, 2026

Merged

Remove `{Type}Of` type alias from `#[cgp_type]` #212

Remove `{Type}Of`type alias from `#[cgp_type]`

GitHub Actions / clippy-no-default-features succeeded Feb 27, 2026 in 0s

clippy-no-default-features

Details

Results

Message level	Amount
Internal compiler error	0
Error	0
Warning	0
Note	0
Help	0

Versions

rustc 1.93.1 (01f6ddf75 2026-02-11)
cargo 1.93.1 (083ac5135 2025-12-15)
clippy 0.1.93 (01f6ddf758 2026-02-11)

View more details on GitHub Actions