[GHC] #12988: Join points