Before You File a Bug Report Please Confirm You Have Done The Following...

• I have tried restarting my IDE and the issue persists.
• I have updated to the latest version of the packages.
• I havesearched for related issues and found none that matched my issue.
• I haveread the FAQ and my problem is not listed.

Playground Link

https://typescript-eslint.io/play/#ts=5.6.3&fileType=.ts&code=FAFwngDgpgBAYgewTAvDA3sGMBmSBcMAziAE4CWAdgOYA0WMARgIamGUCuAto1KfQF8A3MGBQAHhASkQMAMYJKJGM1QwAFAEpUAPg2ZseBIQBEcAPKWT9bCzYwAjACYAzIOZF5ikpqEwA9P4wADwAtKEwACoAFuSeAO7SANaeHjAS0HIgUAAmAHSiGdKyCkqyjGpauvoMRqYWVjZMrITObsACKp6lykTMIHE45FCeiAi%2BAUFhETFxMCDRpAjxqZTppEukBUA&eslintrc=N4KABGBEBOCuA2BTAzpAXGUEKQAIBcBPABxQGNoBLY-AWhXkoDt8B6RAD2MbMroFsA9gBMEiWgCNBsJsICG0QrSKlUGANrhsORNGiDokADRbtwKHPjxBAdwAilaIjL4AwoKbJ8AQWTJd%2BJQeAJJM3nq2AGIyLkGe6GD4cIhgAL6mYAC6WumpQA&tsconfig=N4KABGBEDGD2C2AHAlgGwKYCcDyiAuysAdgM6QBcYoEEkJemy0eAcgK6qoDCAFutAGsylBm3TgwAXxCSgA&tokens=false

Repro Code

typeFoo={foo:string,bar:number,};exportconsta=()=>({foo:"FOOO",bar:123,}asconst);// <-- This works as expected.exportconstb=()=>({foo:"FOOO",bar:123,}asconstsatisfiesFoo);// <-- This throws an error.

ESLint Config

module.exports={"rules":{"@typescript-eslint/explicit-module-boundary-types":["error",{"allowDirectConstAssertionInArrowFunctions":true}]}}

tsconfig

{"compilerOptions": {"strictNullChecks":true  }}

Expected Result

This concerns bothexplicit-module-boundary-types andexplicit-function-return-type rules.

I have a situation where I want to use bothas const followed bysatisfies. With the rule currently as written as soon as you add asatisfies after anas const the rule will error. Leaving off thesatisfies works as expected.

In this scenario, thesatisfies Foo provides extra type safety ensuring thata satisfies Foo but still keeping the ability to have explicit type literals forfoo: "FOOO" andbar: 123.

Actual Result

The rule should not throw an error when usingas const satisfies Foo

Additional Info

No response