Fix pointer position node (#3725)

Fix PointerPosition traits
This commit is contained in:
Dennis Kobert 2026-02-05 23:43:58 +01:00 committed by GitHub
parent 9c56c852ca
commit 1a9f0a543c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions

View File

@ -480,13 +480,13 @@ fn parse_context_feature_idents(ty: &Type) -> Vec<Ident> {
"ExtractFootprint" "ExtractFootprint"
| "ExtractRealTime" | "ExtractRealTime"
| "ExtractAnimationTime" | "ExtractAnimationTime"
| "ExtractPointer" | "ExtractPointerPosition"
| "ExtractIndex" | "ExtractIndex"
| "ExtractVarArgs" | "ExtractVarArgs"
| "InjectFootprint" | "InjectFootprint"
| "InjectRealTime" | "InjectRealTime"
| "InjectAnimationTime" | "InjectAnimationTime"
| "InjectPointer" | "InjectPointerPosition"
| "InjectIndex" | "InjectIndex"
| "InjectVarArgs" => { | "InjectVarArgs" => {
features.push(segment.ident.clone()); features.push(segment.ident.clone());