Rust: Remove restriction in `PathTypeMention`#20173

hvitved merged 1 commit intogithub:maingithub/codeql:mainfrom

hvitved:rust/type-mention-remove-restrictionhvitved/codeql:rust/type-mention-remove-restrictionCopy head branch name to clipboard