I wonder if at some point LLM would "give up" when given a difficult to satisfy ...

		IsTom 9 months ago \| parent \| context \| favorite \| on: Type-constrained code generation with language mod... I wonder if at some point LLM would "give up" when given a difficult to satisfy types and insert nonterminating code / bottoms instead.