Which is the inferred type T?

type After<S extends string, P extends string> = S extends `${P}${infer R}` ? R : never;\ntype T = After<"hello world", "hello ">;