Just curious: where is the `defaultByLineInfos` from? Why `default`?