IDE类型推断错误，test方法会飘红，但是test2方法不会

import { ExcludeKey } from '../ts/Omit' 
 
interface AA { 
  name: string 
} 
 
interface BB { 
  age: number 
} 
 
type CC = ExcludeKey<BB, keyof AA> 
 
function test(c: CC) { 
  console.log(c.age.toString()) 
} 
 
function test2(c: ExcludeKey<BB, keyof AA>) { 
  console.log(c.age.toString()) 
} 
 
test({ age: 123 }) 
 
test2({ age: 123 })
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.