I think we should treat it as a by-name method for the purposes of our analysis / ANF transform. ``` scala> ObjectTpe.decl(TermName("synchronized")).defString res2: String = final def synchronized[T0](x$1: T0): T0 ```