Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Tom Hvitved
2026-06-01 13:55:22 +02:00
committed by GitHub
parent d5f94475b5
commit 62207f152c

View File

@@ -55,7 +55,7 @@ module Impl {
* impl MyTrait for MyType { ... }
* ```
*
* the type being implemented is in both cases`MyType`.
* the type being implemented is in both cases `MyType`.
*/
TypeItem getSelf() {
result = this.getSelfTy().(TypeMention).getType().(DataType).getTypeItem()