Small fix

Author: HaikAsatryan

src/Analyzers/Analyzers.csproj

@@ -18,13 +18,13 @@
         <PackageId>Pandatech.Analyzers</PackageId>
         <PackageIcon>pandatech.png</PackageIcon>
         <PackageReadmeFile>Readme.md</PackageReadmeFile>
-        <Version>1.4.0</Version>
+        <Version>1.4.1</Version>
         <Authors>Pandatech</Authors>
         <Description>Pandatech Roslyn analyzers enforcing company coding rules.</Description>
         <PackageLicenseExpression>MIT</PackageLicenseExpression>
         <PackageTags>Pandatech, analyzers, roslyn, async, cancellation, coding-rules</PackageTags>
         <RepositoryUrl>https://github.com/PandaTechAM/be-lib-analyzers</RepositoryUrl>
-        <PackageReleaseNotes>Bug fix on lambdas</PackageReleaseNotes>
+        <PackageReleaseNotes>Small fix</PackageReleaseNotes>
 
 
     </PropertyGroup>

src/Analyzers/Async/AsyncMethodConventionsAnalyzer.cs

@@ -198,9 +198,10 @@ private static void AnalyzeAsyncMember(IMethodSymbol method,
       }
 
       // PT0003 – name must be ct
-      // Always enforced when CT exists (both interface + implementation),
-      // so implementations still get "rename to ct".
-      if (!ctInfo.IsNamedCt)
+// Enforced only on non-contract methods (interfaces / non-contract class methods).
+// Implementations of contracts (overrides / interface impls) are skipped so we don't
+// fight the “implementation params must match interface” rule or external contracts.
+      if (!ctInfo.IsNamedCt && !isContract)
       {
          report(Diagnostic.Create(CancellationTokenNameRule, location, displayName, ctInfo.Name));
       }
@@ -365,7 +366,7 @@ private static bool IsMinimalApiMapMethod(IMethodSymbol method)
          "MapTrace" or
          "MapMethods";
    }
-   
+
 
    private static IAnonymousFunctionOperation? ExtractAnonymousFunction(IOperation value)
    {