/dports/math/vampire/vampire-4.5.1/scripts/ |
H A D | proof_checker.py | 44 obligation=[] variable 92 obligation=[] variable
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_traits/src/chalk/ |
H A D | mod.rs | 52 let obligation = obligation.fold_with(&mut params_substitutor); in evaluate_goal() localVariable 57 let obligation = obligation.fold_with(&mut regions_substitutor); in evaluate_goal() localVariable
|
/dports/graphics/geoapi/geoapi-3.0.0/sources/org/opengis/annotation/ |
H A D | UML.java | 73 Obligation obligation() default Obligation.MANDATORY; in obligation() method
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_trait_selection/src/traits/ |
H A D | chalk_fulfill.rs | 45 let obligation = infcx.resolve_vars_if_possible(obligation); in register_predicate_obligation() localVariable 90 let obligation = infcx.resolve_vars_if_possible(obligation); in select_where_possible() localVariable
|
H A D | fulfill.rs | 87 pub obligation: PredicateObligation<'tcx>, field 211 let obligation = infcx.resolve_vars_if_possible(obligation); in register_predicate_obligation() localVariable 369 let obligation = &mut pending_obligation.obligation; in progress_changed_obligations() localVariable 801 let obligation = iter.next().unwrap().obligation; in to_fulfillment_error() localVariable
|
H A D | codegen.rs | 43 let obligation = in codegen_fulfill_obligation() localVariable
|
H A D | mod.rs | 144 let obligation = Obligation { in type_known_to_meet_bound_modulo_regions() localVariable 440 let obligation = Obligation::new(cause.clone(), param_env, predicate); in impossible_predicates() localVariable 806 let obligation = Obligation::new( in vtable_trait_upcasting_coercion_new_vptr_slot() localVariable
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_traits/src/ |
H A D | evaluate_obligation.rs | 27 let obligation = Obligation::new(ObligationCause::dummy(), param_env, predicate); in evaluate_obligation() localVariable
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/infer/ |
H A D | projection.rs | 30 let obligation = Obligation::with_depth( in infer_projection() localVariable
|
/dports/www/nextcloud/nextcloud/apps-pkg/files_trashbin/lib/ |
H A D | Expiration.php | 58 public function setRetentionObligation(string $obligation) {
|
/dports/lang/rust/rustc-1.58.1-src/src/librustdoc/clean/ |
H A D | blanket_impl.rs | 74 let obligation = traits::Obligation::new( in get_blanket_impls() localVariable
|
/dports/devel/fossology-nomos-standalone/fossology-3.11.0/src/www/ui/api/Models/ |
H A D | License.php | 327 public function addObligation($obligation)
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_trait_selection/src/traits/select/ |
H A D | candidate_assembly.rs | 245 let obligation = &Obligation { in assemble_candidates() localVariable 719 let obligation = traits::Obligation::new( in need_migrate_deref_output_trait_object() localVariable
|
/dports/lang/php74/php-7.4.27/Zend/ |
H A D | zend_inheritance.c | 2290 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_dependency_obligation() local 2300 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_compatibility_obligation() local 2321 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_property_compatibility_obligation() local 2331 variance_obligation *obligation = Z_PTR_P(zv); in check_variance_obligation() local 2407 variance_obligation *obligation; in report_variance_errors() local
|
/dports/www/mod_php74/php-7.4.27/Zend/ |
H A D | zend_inheritance.c | 2290 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_dependency_obligation() local 2300 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_compatibility_obligation() local 2321 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_property_compatibility_obligation() local 2331 variance_obligation *obligation = Z_PTR_P(zv); in check_variance_obligation() local 2407 variance_obligation *obligation; in report_variance_errors() local
|
/dports/lang/php80/php-8.0.15/Zend/ |
H A D | zend_inheritance.c | 2257 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_dependency_obligation() local 2268 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_compatibility_obligation() local 2290 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_property_compatibility_obligation() local 2300 variance_obligation *obligation = Z_PTR_P(zv); in check_variance_obligation() local 2378 variance_obligation *obligation; in report_variance_errors() local
|
/dports/www/mod_php80/php-8.0.15/Zend/ |
H A D | zend_inheritance.c | 2257 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_dependency_obligation() local 2268 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_compatibility_obligation() local 2290 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_property_compatibility_obligation() local 2300 variance_obligation *obligation = Z_PTR_P(zv); in check_variance_obligation() local 2378 variance_obligation *obligation; in report_variance_errors() local
|
/dports/games/uqm/uqm-0.8.0/src/uqm/comm/yehat/ |
H A D | strings.h | 61 obligation, enumerator
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/traits/ |
H A D | mod.rs | 81 pub obligation: PredicateObligation<'tcx>, field
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_trait_selection/src/ |
H A D | infer.rs | 115 let obligation = traits::Obligation { in type_implements_trait() localVariable
|
H A D | autoderef.rs | 135 let obligation = traits::Obligation::new( in overloaded_deref_ty() localVariable
|
/dports/www/mod_php81/php-8.1.1/Zend/ |
H A D | zend_inheritance.c | 2402 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_dependency_obligation() local 2413 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_compatibility_obligation() local 2435 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_property_compatibility_obligation() local 2444 static void check_variance_obligation(variance_obligation *obligation) { in check_variance_obligation() 2511 variance_obligation *obligation; in resolve_delayed_variance_obligations() local
|
/dports/lang/php81/php-8.1.1/Zend/ |
H A D | zend_inheritance.c | 2402 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_dependency_obligation() local 2413 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_compatibility_obligation() local 2435 variance_obligation *obligation = emalloc(sizeof(variance_obligation)); in add_property_compatibility_obligation() local 2444 static void check_variance_obligation(variance_obligation *obligation) { in check_variance_obligation() 2511 variance_obligation *obligation; in resolve_delayed_variance_obligations() local
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_typeck/src/check/method/ |
H A D | suggest.rs | 57 let obligation = Obligation::misc( in is_fn_ty() localVariable 790 let obligation = format!("{} = {}", projection_ty, ty); in report_method_error() localVariable 800 let obligation = format!("{}: {}", self_ty, path); in report_method_error() localVariable
|
/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_trait_selection/src/traits/query/ |
H A D | normalize.rs | 221 let obligation = Obligation::with_depth( in fold_ty() localVariable
|