Do Not Disturb-setting - What can interrupt Do Not Disturb - People - Messages - Starred contacts (I'm guessing this differs between slightly different versions of Android)
Receive SMS from the contact you starred
Happens:
No notification
Should happen:
Notification
(I'm getting a notification from the same contact in a different app)
Reproduce:
Happens:
Should happen:
(I'm getting a notification from the same contact in a different app)
Android documentation:
Somewhat related:
App version: 5.19.3