Maybe also get Google to update their docs: https://developers.google.com/search/docs/crawling-indexing/...
https://developers.google.com/search/docs/crawling-indexing/...
“While Google won't crawl or index the content blocked by a robots.txt file”
They will show the URL if someone else has linked to it. But the content itself is not indexed.
If you have specified in your robots.txt that you do not want the page(s) or directories ingested then only the url is indexed (if it is linked from another page). It does prevent the public display of the content of a page and creation description/summary.
