Repository navigation
Bigint literal type -0n exists, and is not handled consistently #60466
Description
🔎 Search Terms
bigint negative zero template
🕗 Version & Regression Information
- This is the behavior in every version I tried, and I reviewed the FAQ for entries about bigint
⏯ Playground Link
💻 Code
type PosZero = 0n;
type NegZero = -0n; // ?!
// ^? - type NegZero = 0n
const pz: PosZero = -0n;
const nz: NegZero = 0n;
type StrNegZero = `${-0n}` // ?!
// ^? - type StrNegZero = "0"
type StrBigInt = `${number}`
const x: StrBigInt = "-0"; // ?!
type ParseBigInt<T extends `${bigint}`> = T extends `${infer Int extends bigint}` ? Int : never
type PositiveOne = ParseBigInt<'1'>
// ^? - type PositiveOne = 1n
type NegativeOne = ParseBigInt<'-1'>
// ^? - type NegativeOne = -1n
type PositiveZero = ParseBigInt<'0'>
// ^? - type PositiveZero = 0n
type NegativeZero = ParseBigInt<'-0'> // ?!
// ^? - type NegativeZero = bigint🙁 Actual behavior
-0n is a valid and evalutates to 0n, and "-0" matches `${bigint}`, but `${-0n}` evalutates to "0", and "-0" is not successfully inferred as 0n
🙂 Expected behavior
-0n should either not exist, or it should be handled consistently with other bigint literals.
Either:
-0nshould fail, and"-0"should not match`${bigint}`, because-0nis not a valid bigint value, and thus no such bigint stringifies to-0."-0"should be inferred to contain0n/-0n, because-0nis valid syntax that evalutates to0n.
Additional information about the issue
Credit to mkantor and sinclair in the TypeScript Community for extra examples.
Activity
[-]Bigint `-0n` exists, and is not handled consistently[/-][+]Bigint literal type `-0n` exists, and is not handled consistently[/+]jcalz commentedon Nov 10, 2024
Is this really specific to
bigint? I think the same thing happens withnumber.Is this really specific to
-0? I think the same thing happens with any numeric literal where you are writing it in a form that differs from how that number gets serialized as a string (think1.0instead of1, or1e2instead of100).The difference between
0and-0asnumbers can almost always be completely ignored in JavaScript and therefore in TypeScript (it's hard to test for it; maybe you can divide by it and see which flavor ofInfinityyou get?). And there is no difference at all between0nand-0n; the latter is just another way to write the former, like0xFnis another way to write15n.I'm not seeing a bug here. The behavior where TS can only infer numbers from "round-trippable" strings is documented in the release notes and #48094, so one should expect
ParseBigInt<-0>to bebigint.chris-sophos commentedon Nov 10, 2024
-0is an actual existant value fornumber, though true that it's stringified as0as well.Also just checked and TS does serialize
-0as0, which I was not expectingI was not aware of these for the template types, thanks for the links.
But so far, I still think that
-0nshould not be a valid bigint literal type, since it's not an existant value, unlike-0. Is there a reason for that to specifically exist as a literal type?jcalz commentedon Nov 10, 2024
The type
-0nis the same type as0n, it’s just another way to write it. I don’t see why TS should error if you write-0n, unless it should also error if you write0xFn.RyanCavanaugh commentedon Nov 12, 2024
I don't understand what the bug is supposed to be here either.
-0n === 0nand the examples reflect that, right? I'm also unsold on what banning-0nwould accomplish except to specifically address people who have gone looking for this trouble and successfully found it.typescript-bot commentedon Nov 16, 2024
This issue has been marked as "Not a Defect" and has seen no recent activity. It has been automatically closed for house-keeping purposes.