java.lang.Object
- com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
- - com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.LambdaThrowsCompatibleWithType

```
public class LambdaThrowsCompatibleWithType
extends ConstraintFormula
```
The checked exceptions thrown by the body of the LambdaExpression are declared by the throws clause of the function type derived from T.

Nested Class Summary
- Nested classes/interfaces inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
  ConstraintFormula.ReductionResult

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object o)`
`int`	`hashCode()`
`ConstraintFormula.ReductionResult`	`reduce(BoundSet currentBoundSet)`	A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set.
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Modifier and Type	Field	Description
`private LambdaExpr`	`lambdaExpression`
`private ResolvedType`	`T`

Class LambdaThrowsCompatibleWithType