polish diag rule (to fix a problem w.r.t. generic types)

polish diag rule (to fix a problem w.r.t. generic types) #162