perf: use withSynthesize
when elaborating let
/have
type
#4312
Loading
withSynthesize
when elaborating let
/have
type
#4312