Merge pull request #116005 from jeanp413/fix-115922

Fixes #115922
This commit is contained in:
Johannes Rieken 2021-02-08 10:26:44 +01:00 committed by GitHub
commit 99c1589aed
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -547,8 +547,8 @@ export namespace FuzzyScore {
*/
export const Default: FuzzyScore = ([-100, 0]);
export function isDefault(score?: FuzzyScore): score is [-100, 0, 0] {
return !score || (score[0] === -100 && score[1] === 0 && score[2] === 0);
export function isDefault(score?: FuzzyScore): score is [-100, 0] {
return !score || (score.length === 2 && score[0] === -100 && score[1] === 0);
}
}